MODULE Bad;
PROCEDURE Foo();
BEGIN
END Foo;
END Bad.