%set debug_print_ccode = true
main module TEST32V

    use	TEXTIO
	for I :=  65534 to 65540 do
	    out_line (TTY, "--")
	endfor
endmodule