STYP_VALID
ASSERT(STYP_VALID(VTYP_TO_STYP(vp->v_type)));
ASSERT(STYP_VALID(spec_type));
ASSERT(STYP_VALID(styp));