MODULE MBadFunc; MODULE M EXPORT Get; VAR cnt : INTEGER; PROCEDURE Get : INTEGER; BEGIN RETURN 42 END Get; END M; VAR ExitCode : INTEGER; BEGIN ExitCode := M.Get() END MBadFunc.