Description of the illustration procedure

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