procedure_declaration { IS | AS } { [ declare_section ] body | call_spec }