MODULE OkProc;
FROM In IMPORT x;
IMPORT y, z;
VAR
  i : INTEGER;
  a : ARRAY [0..9], [0..3] OF INTEGER;
  r : RECORD f : INTEGER; END;

PROCEDURE P(VAR v : INTEGER; n : CARDINAL) : BOOLEAN;
BEGIN
  IF n > 0 THEN v := v + 1 ELSE v := 0 END;
  RETURN TRUE
END P;

MODULE Local;
EXPORT q;
VAR q : INTEGER;
BEGIN
  q := 1
END Local;

BEGIN
  i := 0;
  WHILE i < 10 DO
    i := i + 1
  END;
  FOR i := 1 TO 10 BY 2 DO
    P(i, i)
  END
END OkProc.