MODULE MArr; MODULE M EXPORT arr; VAR arr : ARRAY [1..3] OF INTEGER; END M; VAR ExitCode : INTEGER; BEGIN M.arr[2] := 42; ExitCode := M.arr[2] END MArr.