!636 (modern)

main {
  psvm {
    callMain(hotwire("#1000714"));
  }
}