procedure_declaration

procedure_declaration ::= procedure_heading ";" block ident 

[rule list]
This rule is called by

-> declaration