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