runtime1       3125673  .
runtime1       3125673  ./runtime
runtime2       3080927  .
runtime2       3080927  ./runtime
runtime3       2260290  .
runtime3       2260290  ./runtime
runtime3        413953  ./runtime/Runtime
src            3459374  .
src             793237  ./doc
src             160992  ./lib
src             150967  ./programs
src              48554  ./programs/book
src             102413  ./programs/demo
src            2344263  ./src
