MODULE TValArray;
// Value array params copy (callee mutation invisible). Exit 6.
TYPE Vec = ARRAY [0..2] OF INTEGER;
VAR ExitCode : INTEGER;
VAR v : Vec;
PROCEDURE Fill(a : Vec);
BEGIN
  a[0] := 99
END Fill;
BEGIN
  v[0] := 1; v[1] := 2; v[2] := 3;
  Fill(v);
  ExitCode := v[0] + v[1] + v[2]
END TValArray.