The procedure heading gives the procedure its name. It also describes and lists any identifiers used as formal parameters in the body. On a call of the procedure, the compiler sets up a correspondence between the actual parameters in the call and the formal parameters specified in the procedure heading. The syntax of the heading is
Procedureheading ::=
Id
Id ( Parameterspeclist )
Parameterspeclist ::=
Parameterspec
Parameterspec ; Parameterspeclist