static O evalJava_main(S main) {
  ret callCalc(evalJava_prep2(main));
}