(* Test: RAISE statements *)

MODULE Main;

VAR i : INTEGER;

EXCEPTION Error;
EXCEPTION Failure (INTEGER);

BEGIN

  IF (i < 0) THEN RAISE Error; END;

  RAISE Error;

  RAISE Failure (i);

END Main.