goedel         3192539  .
goedel          519317  ./doc
goedel          164142  ./lib
goedel          150967  ./programs
goedel           48554  ./programs/book
goedel          102413  ./programs/demo
goedel         2346311  ./src
linux          4767169  .
linux          4767169  ./runtime
linux           414469  ./runtime/Runtime
sparc1         3150597  .
sparc1         3150597  ./runtime
sparc2         3174885  .
sparc2         3174885  ./runtime
sparc3         2823074  .
sparc3         2823074  ./runtime
sparc3          974863  ./runtime/Runtime
