IMPLEMENTATION MODULE stressset ;
TYPE
   enum = (red, blue, green) ;
CONST
   (* max = ORD (MAX (enum)) + 1 ; *)
   max = MAX (enum) + 1 ;
TYPE
   dataType = POINTER TO RECORD
                            next    : dataType ;
			    contents: ARRAY [0..max] OF CARDINAL ;
			    set     : SET OF enum ;
                         END ;
END stressset.