M2compiler-V3/compiler/tests/t_bad_varbound.mod

MODULE TBadVarBound;
VAR lo, hi : INTEGER;
TYPE Bad = ARRAY [lo..hi] OF INTEGER;
BEGIN
END TBadVarBound.