MODULE TBadBounds;
TYPE Bad = ARRAY [5..1] OF INTEGER;
BEGIN
END TBadBounds.