static S dummyMainClassName(S progID) {
  ret "m" + psI(progID);
}