PROGRAM Test(Output);
    PROCEDURE Proc;
        VAR
            I: Integer;
    BEGIN
        FOR I:= 1 TO 10 DO      { loop control variable must be declared in
                                    same block as for statement }
        BEGIN
            WriteLn('Hello ', I);
        END;
        WriteLn('===>', I);     { programmer must not account on loop control
                                    variable upon exit }
    END;
BEGIN
    Proc;
END.