MODULE blockinfor
  EXPORTS Main;

FROM Test IMPORT checkI, done;

VAR i : INTEGER;

PROCEDURE foo () =
  BEGIN
    FOR x := 1 TO 10 DO
      i := x;

      PROCEDURE aaa() = BEGIN checkI (i, x); END aaa;
      BEGIN	
        aaa ();
      END	

    END
  END foo;

BEGIN

foo ();
done ();

END blockinfor.