main module set4
//%set debug_print_ccode=true
    use	TEXTIO

    declare
	numbers is set of integer range 1..20
	selected : static numbers initially numbers (1, 4, 7)
	AAAA:static integer
    enddeclare

//    out_integer (TTY, integer(sizeof(selected)))
//    out_record (TTY)
    for this_one in selected do
	AAAA := 5
	out_integer (TTY, this_one)
	out_record (TTY)
    endfor
endmodule