//------------------------------------------------------------------------
// Example of Compile Time Rangechecking
//------------------------------------------------------------------------
main module RANGECTIM

    declare
	colors is [red, green, blue, orange, yellow, magenta, black, white, cyan, tan, pink, violet]
	large_colors is colors
	color:		static colors
    enddeclare

    color := colors(magenta)

endmodule