MODULE SBadOp;
VAR s : SET OF [0 .. 7]; x : INTEGER;
BEGIN
  s := s + x
END SBadOp.