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