ADT_HAVE_ALL
internal->as_have_user_data = ADT_HAVE_ALL;
state->as_have_user_data = ADT_HAVE_ALL;
if ((state->as_have_user_data & (ADT_HAVE_ALL & ~ADT_HAVE_IDS)) !=
(ADT_HAVE_ALL & ~ADT_HAVE_IDS)) {
state->as_have_user_data = ADT_HAVE_ALL;
if (state->as_have_user_data != ADT_HAVE_ALL) {
if (state->as_have_user_data != ADT_HAVE_ALL) {
state->as_have_user_data = ADT_HAVE_ALL;
state->as_have_user_data = ADT_HAVE_ALL;
if (state->as_have_user_data != ADT_HAVE_ALL) {
if (state->as_have_user_data != ADT_HAVE_ALL) {
assert(sp->as_have_user_data == ADT_HAVE_ALL);