static Set<S> allLoadedProgramIDs() {
  ret mapToSet programID(allMainClasses());
}