MODULE A;

PROCEDURE f () RAISES {e} =
  BEGIN END f;

BEGIN
END A.