MODULE badenum ;

TYPE
   color = (red, blue, green) ;

BEGIN
   red := 1
END badenum.