Listing:

    1  MODULE MBadNest;
    2  VAR ExitCode : INTEGER;
    3  PROCEDURE P;
    4  MODULE M EXPORT cnt;
*****         ^ not supported in this phase
    5  VAR cnt : INTEGER;
    6  END M;
    7  BEGIN
    8    ExitCode := 0
    9  END P;
   10  BEGIN
   11    ExitCode := 0
   12  END MBadNest.

    1 error