static Map<Class, Int> loadedClassesOfProgramWithSize(O program) {
  L<Class> l = loadedClassesOfProgram(program);
  if (l == null) null;
  ret listToKeysWithCalculatedValue(l, f classSizeInBytes);
}