Listing:

    1  MODULE MBadFunc;
    2  MODULE M EXPORT Get;
    3  VAR cnt : INTEGER;
    4  PROCEDURE Get : INTEGER;
    5  BEGIN
    6    RETURN 42
    7  END Get;
    8  END M;
    9  VAR ExitCode : INTEGER;
   10  BEGIN
   11    ExitCode := M.Get()
*****                     ^ invalid procedure call
   12  END MBadFunc.

    1 error