MODULE settest2 ;

TYPE BigSet = SET OF [0..10000];
                                                                                
        
BEGIN
        (******)                                               
END settest2.