M2compiler-V1/tests/c_bad_len.mod

MODULE CBadLen;
VAR a : ARRAY [1 .. 5] OF INTEGER; b : ARRAY [1 .. 6] OF INTEGER;
BEGIN
  a := b
END CBadLen.