M2compiler-V2/tests/r_varpar.mod

MODULE RVarPar;
TYPE Vec = ARRAY [0 .. 9] OF INTEGER;
VAR ExitCode : INTEGER;
    v : Vec;
PROCEDURE Incr(VAR x : INTEGER);
BEGIN
  x := x + 1
END Incr;
PROCEDURE Fill(VAR a : Vec; n : INTEGER);
VAR i : INTEGER;
BEGIN
  FOR i := 0 TO n DO a[i] := i + 1 END
END Fill;
BEGIN
  ExitCode := 41;
  Incr(ExitCode);
  Fill(v, 4);
  ExitCode := ExitCode + v[0] + v[4]
END RVarPar.