If an argument is declared with the INONLY attribute, then the argument is presumed to have a value before it is passed. The argument will not be changed by the called code, and a dummy argument need not be created.
The BYVALUE attribute implies the INONLY attribute.