MODULE MBadMFunc; MODULE M EXPORT Bump; PROCEDURE Bump; BEGIN END Bump; END M; VAR ExitCode : INTEGER; BEGIN ExitCode := M.Bump() END MBadMFunc.