main module TESTSEL
    use TEXTIO
    declare
	Choice is [Red, Green, Blue]
	C : Choice initially Red
	I : 16 bit integer
    enddeclare

    C := force Choice (-5)
    select C from
	case Red:
	    I := 0
	case Green:
	    I := 1
	case Blue:
	    I := 2
	default:
	    I := 4
    endselect

    out_integer (TTY, I)
    out_Record	(TTY)
endmodule