sS mainProgramID() {
  ret (S) callJavaX mainProgramID();
}