static O evalJava_main2(O o) {
  ret callCalc(o);
}