M2compiler-V1/tests/o_val.mod

MODULE OVal;
VAR a : ARRAY [0 .. 4] OF INTEGER; ExitCode : INTEGER;
PROCEDURE Sum(x : ARRAY OF INTEGER) : INTEGER;
VAR i, s : INTEGER;
BEGIN
  s := 0;
  FOR i := 0 TO HIGH(x) DO s := s + x[i] END;
  RETURN s
END Sum;
BEGIN
  a[0] := 3; a[1] := 1; a[2] := 4; a[3] := 1; a[4] := 5;
  ExitCode := Sum(a)
END OVal.