static S javaxDefaultProgram() {
  ret or2(loadTextFile(javaxDataDir("default-program.txt")), #1000825);
}