MODULE settest3 ;

TYPE BigSet = SET OF CARDINAL;                                                                                
        
BEGIN
        (******)                                               
END settest3.