static S run752(S code) {
  O trans = hotwire("#752");
  set(trans, "mainJava", code);
  callMain(trans);
  S transpiled = cast get(trans, "mainJava");
  ret transpiled;
}