if (problem) {
  // sys.exit returns type "Nothing"
  sys.exit(0)
  // conventionally, error code 0 is the code for "OK",
  // while anything else is an actual problem
}