[ 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} ;