MODULE A EXPORTS Main;

FROM B IMPORT ExceptionB;

PROCEDURE noop() RAISES {ExceptionA, ExceptionB} =
BEGIN END noop;

BEGIN
END A.