MODULE OBadHigh;
VAR x : INTEGER;
BEGIN
  x := HIGH(x)
END OBadHigh.