MODULE SBadElem;
VAR s : SET OF [0 .. 7];
BEGIN
  s := {1, "a"}
END SBadElem.