main module TEST32s

%set debug_print_ccode = true
declare
	I : static 32 bit integer
enddeclare

I *= +1234567

endmodule