The compiler verifies, when compiling both the caller and
the callee, that the parameter definitions match, provided that both are compiled
using the same prototype.
Fewer specifications are needed, since you do not need the PARM operations.
This section discusses the various options that are available when defining
prototyped parameters, and the impact of these options on the call interface.