formal_parameters

formal_parameters ::= "(" fp_section { ";" fp_section } ")" 
      [ ":" qualident ] 

This rule is called by

-> procedure_heading