MHND_FREE
case MHND_FREE:
ASSERT(mhp->mh_state != MHND_FREE);
mhp->mh_state = MHND_FREE;
case MHND_FREE:
ASSERT(mhp->mh_state != MHND_FREE);
ASSERT(mhp->mh_state == MHND_FREE);
if (mhp->mh_state == MHND_FREE) {
ASSERT(mhp->mh_state == MHND_FREE);