procedure_heading

procedure_heading ::= "PROCEDURE" ident [ formal_parameters ] 

This rule is called by

-> definition
-> procedure_declaration