ASSERT3U
#define ASSERT3U(x, y, z) ((void)0)
#define ASSERT3U(x, y, z) VERIFY3_IMPL(x, y, z, uint64_t)