procedure_spec

procedure_spec 
      ::= 
      "procedure" procedure_name 
      [ "(" argument { "," argument } ")" ] ";" 

This rule is call by

-> package_obj_spec