procedure_heading [ procedure_properties ] [ ; ]