MODULE QBadSet;
VAR s : SET OF [0 .. 7]; x : INTEGER;
BEGIN
  x := 1;
  s := {1, 2, 3}
END QBadSet.