static Class run(S progID, S... args) {
  Class main = hotwire(progID);
  ifdef run_debug
    print("Hotwired " + progID + " => " + strWithIdentityHashCode(main));
  endifdef
  callMain(main, args);
  ret main;
}