Description of the illustration procedure_declaration procedure_heading [ procedure_properties ] [ ; ]