typedef enum {GREEN=2, YELLOW=3, RED=4, BLUE=5} colors;
module tb;
initial begin
colors color;
// Assign current value of color to GREEN
color = GREEN;
do begin
$display ("color.name() = %s, color = %0d" , color.name(), color);
color = color.next();
end while(color != color.first());
end
endmodule