[ schema. ] procedure_name
   [ ( parameter_declaration [, parameter_declaration ]... ) ]
   [ invoker_rights_clause [ accessible_by_clause ] |
     accessible_by_clause [ invokers_rights_clause ]]
   { IS | AS } { [ declare_section ] body | call_spec | EXTERNAL} ;