MODULE TOpenArr;
// Open VAR formal over a fixed actual. Exit 7.
TYPE Vec = ARRAY [0..2] OF INTEGER;
VAR ExitCode : INTEGER;
VAR v : Vec;
PROCEDURE First(VAR a : ARRAY OF INTEGER) : INTEGER;
BEGIN
  RETURN a[0]
END First;
BEGIN
  v[0] := 7; v[1] := 8; v[2] := 9;
  ExitCode := First(v)
END TOpenArr.