static Class runInclude(S progID) {
  Class c = include(progID);
  makeDependent(c);
  callMain(c);
  ret c;
}