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