BAD_HVAL
if (!BAD_HVAL(x->hval)) {
} else if (!BAD_HVAL(x->hval) &&
!BAD_HVAL(x->hval)) {
if (x != NULL && !BAD_HVAL(x->hval)) {
ASSERT(x != NULL && !BAD_HVAL(x->hval));
if (!BAD_HVAL(hval)) {