(* Test: open array parameters *)

MODULE Main;

PROCEDURE P (x: ARRAY OF ARRAY OF INTEGER) =
  PROCEDURE Z () = BEGIN EVAL (x[3]) END Z;
  BEGIN
  END P;

PROCEDURE Q (VAR x: ARRAY OF ARRAY OF INTEGER) =
  BEGIN
  END Q;

PROCEDURE R (READONLY x: ARRAY OF ARRAY OF INTEGER) =
  BEGIN
  END R;

PROCEDURE foo (
  a: ARRAY OF ARRAY [0..4] OF INTEGER) =

BEGIN
  P (a);
  Q (a);
  R (a);
END foo;

BEGIN
END Main.