display_records() now displays the record syntax OID as well as its symbolic name...