procedure_heading

procedure_heading ::= "PROCEDURE" ident [ formal_parameters ] 

[rule list]
This rule is called by

-> definition -> procedure_declaration