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