Listing:

    1  MODULE OkProc;
    2  FROM In IMPORT x;
    3  IMPORT y, z;
    4  VAR
    5    i : INTEGER;
    6    a : ARRAY [0..9], [0..3] OF INTEGER;
    7    r : RECORD f : INTEGER; END;
    8  
    9  PROCEDURE P(VAR v : INTEGER; n : CARDINAL) : BOOLEAN;
   10  BEGIN
   11    IF n > 0 THEN v := v + 1 ELSE v := 0 END;
   12    RETURN TRUE
   13  END P;
   14  
   15  MODULE Local;
   16  EXPORT q;
   17  VAR q : INTEGER;
   18  BEGIN
   19    q := 1
   20  END Local;
   21  
   22  BEGIN
   23    i := 0;
   24    WHILE i < 10 DO
   25      i := i + 1
   26    END;
   27    FOR i := 1 TO 10 BY 2 DO
   28      P(i, i)
   29    END
   30  END OkProc.

    0 errors