static Class runWithCase(S progID, S case) {
  Class c = hotwire(progID);
  setOpt(c, 'caseID_caseID, case);
  ret callMain(c);
}