M2compiler-V1/tests/a_bad_val.mod

MODULE ABadVal;
TYPE V = ARRAY [1 .. 3] OF INTEGER;
PROCEDURE P(a : V);
BEGIN
END P;
VAR x : INTEGER;
BEGIN
  x := 1
END ABadVal.