static Class run_overBot(S progID) {
  Class main = hotwire_overBot(progID);
  callMain(main);
  ret main;
}