ASSERT3B
#define ASSERT3B(x, y, z) VERIFY3_IMPL(x, y, z, boolean_t)
#define ASSERT3B(x, y, z) ((void)0)