static long loadedCodeSizeOfProgram(O program) {
  ret intSumAsLong(map classSizeInBytes(loadedClassesOfProgram(program)));
}