< call statement > -> call < identifier > ( <actual list >) ; | call < identifier > ( ) ; < actual list > -> < actual list > , < expression > | < expression >
The number of actual parameter expressions included in a call statement must match the number of formal parameters declared in the procedure's definition. The type of each actual parameter expression must match the type of the corresponding formal. If any of the called procedure's formal parameters are specified as var parameters, then the corresponding actual parameters must actually be variables as defined in section *.