(* Test: missing handler *)

MODULE Main;

EXCEPTION a;

BEGIN

RAISE a;

END Main.