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