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