static O evalJava_myProgramID_main(S main) {
  O obj = veryQuickJava(main);
  setOpt(obj, "programID", programID());
  ret callCalc(obj);
}