static L<Class> loadedClassesOfProgramAndSubModules(O program) {
  ret concatMap loadedClassesOfProgram(listPlus(dependentClassesOfProgram(program), (Class) program));
}