Listing:

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

    1 error