main module set3
    use	TEXTIO

    declare
	numbers is set of 4 bit integer range 1..20
	selected : numbers initially numbers (1, 5, 7, 9)
    enddeclare

    for this_one in selected do
	out_integer (TTY, this_one)
	out_record (TTY)
    endfor
endmodule