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