static long loadedCodeSizeOfProgramAndSubModules(O program) {
  ret intSumAsLong(map classSizeInBytes(loadedClassesOfProgramAndSubModules(program)));
}