MODULE TValOpen;
(* Value open-array formal + LEN + indexing. Exit 15. *)
VAR ExitCode : INTEGER;
VAR a : ARRAY [0..4] OF INTEGER;
PROCEDURE Sum(v : ARRAY OF INTEGER) : INTEGER;
VAR i, s : INTEGER;
BEGIN
  s := 0;
  FOR i := 0 TO LEN(v) - 1 DO s := s + v[i] END;
  RETURN s
END Sum;
BEGIN
  a[0] := 1; a[1] := 2; a[2] := 3; a[3] := 4; a[4] := 5;
  ExitCode := Sum(a)
END TValOpen.