M2compiler-V1/tests/v_bad_var.mod

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