main module TEST64

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

I := 12
endmodule