is an imperative statement executed for an AT END, NOT AT END,
  ON EXCEPTION or NOT ON EXCEPTION condition.