MODULE TMArr;
MODULE M EXPORT Vec;
TYPE Vec = ARRAY [1 .. 3] OF INTEGER;
END M;
VAR v, w : M.Vec; ExitCode : INTEGER;
PROCEDURE Fill(VAR a : M.Vec);
BEGIN
  a[1] := 5; a[2] := 6; a[3] := 7
END Fill;
BEGIN
  Fill(v);
  w := v;
  ExitCode := w[1] + w[2] + w[3]
END TMArr.