DS_UNIQUE_IS_ACCURATE
ASSERT(ds->ds_reserved == 0 || DS_UNIQUE_IS_ACCURATE(ds));
ASSERT(DS_UNIQUE_IS_ACCURATE(ds));
!DS_UNIQUE_IS_ACCURATE(ds));
if (!DS_UNIQUE_IS_ACCURATE(ds))
ASSERT(DS_UNIQUE_IS_ACCURATE(ds));
ASSERT(!DS_UNIQUE_IS_ACCURATE(ds) ||
ASSERT(!DS_UNIQUE_IS_ACCURATE(ds) ||