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