Description of the illustration procedure_declaration

procedure_heading [ procedure_properties ] [ ; ]