CocoR/Test1/tests/t_bad_setelem.mod

MODULE TSet;
VAR s : SET OF [0 .. 31];
BEGIN s := {1, 'a'}
END TSet.