% set debug_print_ccode = true
main module VAL32to16

    procedure Joe
	param
	    A : inout val 16 bit integer
	endparam
    endprocedure

    declare
	B : static 32 bit integer
    enddeclare

    Joe (B)

endmodule