M2compiler-V1/tests/o_bad_open.mod

MODULE OBadOpen;
VAR a : ARRAY [1 .. 3] OF INTEGER;
PROCEDURE P(VAR x : ARRAY OF INTEGER);
BEGIN
END P;
PROCEDURE Q(VAR y : ARRAY OF INTEGER);
BEGIN
  P(y)
END Q;
BEGIN
  P(a)
END OBadOpen.