static void runAndCleanUp(S progID) {
  Class c = hotwire(progID);
  try {
    callMain(c);
  } finally {
    cleanUp(c);
  }
}