(* Test: variables in nested blocks and procedures *)

MODULE Main;

VAR
  i: INTEGER;
  j: INTEGER;

PROCEDURE X () =
  VAR i: INTEGER;
  BEGIN
    i := 2;

    VAR i: INTEGER;
    PROCEDURE Q () =
      BEGIN
        i := 3;
      END Q;
    BEGIN
      i := 4;
    END;


    i := 5;
  END X;

BEGIN
  i := 1;
END Main.