vThe actual
parameters must fulfill these requirements known as the formal/actual correspondence
rules
oThere must be the
same number of actual parameters in the call, as there are formal parameters in
the proc declaration
oThe order of the
parameters matters --
;The 1st actual parameter corresponds to the 1st formal
;The 2nd actual parameter corresponds to the 2nd formal
oThe types of the
actuals must match the types of the formals
oAny formal used as a
procedure output must have a variable as an actual