MODULE Test;

PROCEDURE Foo () = BEGIN END Foo;

BEGIN
END Test.