main module TEST32X
%set debug_print_ccode = true
    procedure TEST 
	param
	    I : in val 16 bit integer
	endparam
    endprocedure

    TEST (123456)
endmodule