M2compiler-V1/tests/v_idx.mod

MODULE VIdx;
VAR a : ARRAY [1 .. 5] OF INTEGER; ExitCode : INTEGER;
PROCEDURE Bump(VAR x : INTEGER);
BEGIN
  x := x + 10
END Bump;
BEGIN
  a[1] := 1; a[2] := 2; a[3] := 3; a[4] := 4; a[5] := 5;
  Bump(a[2]);
  Bump(a[4]);
  ExitCode := a[1] + a[2] + a[3] + a[4] + a[5]
END VIdx.