(if problem
  (exit)) ; exit successfully