Description of the illustration procedure_definition
procedure_declaration { IS | AS } { [ declare_section ] body | call_spec }