Listing:

    1  MODULE TBadMType;
    2  MODULE M EXPORT cnt;
    3  VAR cnt : INTEGER;
    4  END M;
    5  VAR x : M.cnt;
*****            ^ not a type name
    6  VAR ExitCode : INTEGER;
    7  BEGIN
    8    ExitCode := 0
    9  END TBadMType.

    1 error