(if problem
  (exit #f)) ; exit unsuccessfully