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