MODULE A;

PROCEDURE Foo (i: INTEGER) RAISES {A, C} =
  BEGIN
    EVAL i;
  END Foo;

BEGIN
END A.