static S getJavaSource(O program) {
  ret (S) callOpt(program, 'myJavaSource);
}