main module TEST32R

// This module shows that push_w is used instead of push_l
// when the called procedure wants a 16 bit integer but the
// caller supplies a 32 bit constant.  Should be some kind
// of compiler diagnostic instead of letting assembly error occur.
%set debug_print_ccode = true
declare
	I = 1234567
enddeclare

procedure Test 
    param
	J : in val 16 bit integer
    endparam
endprocedure

TEST (I)
endmodule