Added ds_record_equal