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