MODULE Main;

PROCEDURE P () = 
  VAR
    x: INTEGER;
  EXCEPTION
    x;
  BEGIN
  END P;

BEGIN
END Main.