MODULE badset ;

VAR
   set: set ;
BEGIN

END badset.