How does the C programmer associate the arguments of a function at the
caller with the callee? How is it normally done in Verilog?