procedure_heading { IS | AS } 
  { [ declare_section ] body | call_spec | EXTERNAL }