MODULE TBadSetBase;
(* SET OF INTEGER is a full-range sorted-range set. *)
TYPE S = SET OF INTEGER;
VAR s : S;
    ExitCode : INTEGER;
BEGIN
  s := S{};
  INCL(s, -7);
  INCL(s, 2147483647);
  INCL(s, -2147483648);
  IF (-7 IN s) AND (2147483647 IN s) AND (-2147483648 IN s)
     AND NOT (0 IN s) THEN
    ExitCode := 42
  ELSE
    ExitCode := 1
  END
END TBadSetBase.