VERIFY3_IMPL
VERIFY3_IMPL(fl.l_type, ==, F_WRLCK, short);
VERIFY3_IMPL(fl.l_sysid, ==, 0, int);
VERIFY3_IMPL(fl.l_pid, ==, pid, pid_t);
VERIFY3_IMPL(fl.l_type, ==, F_WRLCK, short);
VERIFY3_IMPL(fl.l_sysid, ==, 0, int);
VERIFY3_IMPL(fl.l_pid, ==, pid, pid_t);
VERIFY3_IMPL(fl.l_type, ==, F_WRLCK, short);
VERIFY3_IMPL(fl.l_sysid, ==, 0, int);
VERIFY3_IMPL(fl.l_pid, ==, pid, pid_t);
VERIFY3_IMPL(fl.l_type, ==, F_WRLCK, short);
VERIFY3_IMPL(fl.l_sysid, ==, 0, int);
VERIFY3_IMPL(fl.l_pid, ==, pid, pid_t);
VERIFY3_IMPL(fl.l_type, ==, F_RDLCK, short);
VERIFY3_IMPL(fl.l_sysid, ==, 0, int);
VERIFY3_IMPL(fl.l_pid, ==, pid, pid_t);
VERIFY3_IMPL(fl.l_type, ==, F_RDLCK, short);
VERIFY3_IMPL(fl.l_sysid, ==, 0, int);
VERIFY3_IMPL(fl.l_pid, ==, pid, pid_t);
VERIFY3_IMPL(fl.l_type, ==, F_UNLCK, short);
VERIFY3_IMPL(fl.l_sysid, ==, 0, int);
VERIFY3_IMPL(fl.l_pid, ==, 0, pid_t);
VERIFY3_IMPL(fl.l_type, ==, F_UNLCK, short);
VERIFY3_IMPL(fl.l_sysid, ==, 0, int);
VERIFY3_IMPL(fl.l_pid, ==, 0, pid_t);
VERIFY3_IMPL(fl.l_type, ==, F_UNLCK, short);
VERIFY3_IMPL(fl.l_sysid, ==, 0, int);
VERIFY3_IMPL(fl.l_pid, ==, 0, pid_t);
VERIFY3_IMPL(fl.l_type, ==, F_UNLCK, short);
VERIFY3_IMPL(fl.l_sysid, ==, 0, int);
VERIFY3_IMPL(fl.l_pid, ==, 0, pid_t);
VERIFY3_IMPL(fl.l_type, ==, F_UNLCK, short);
VERIFY3_IMPL(fl.l_sysid, ==, 0, int);
VERIFY3_IMPL(fl.l_pid, ==, 0, pid_t);
VERIFY3_IMPL(fl.l_type, ==, F_UNLCK, short);
VERIFY3_IMPL(fl.l_sysid, ==, 0, int);
VERIFY3_IMPL(fl.l_pid, ==, 0, pid_t);
VERIFY3_IMPL(flock_nodata(fds[0]), ==, B_TRUE, boolean_t);
VERIFY3_IMPL(flock_nodata(fdsB[0]), ==, B_TRUE, boolean_t);
#define VERIFY3B(x, y, z) VERIFY3_IMPL(x, y, z, boolean_t)
#define VERIFY3S(x, y, z) VERIFY3_IMPL(x, y, z, int64_t)
#define VERIFY3U(x, y, z) VERIFY3_IMPL(x, y, z, uint64_t)
#define VERIFY3P(x, y, z) VERIFY3_IMPL(x, y, z, uintptr_t)
#define VERIFY0(x) VERIFY3_IMPL(x, ==, 0, uintmax_t)
#define ASSERT3B(x, y, z) VERIFY3_IMPL(x, y, z, boolean_t)
#define ASSERT3S(x, y, z) VERIFY3_IMPL(x, y, z, int64_t)
#define ASSERT3U(x, y, z) VERIFY3_IMPL(x, y, z, uint64_t)
#define ASSERT3P(x, y, z) VERIFY3_IMPL(x, y, z, uintptr_t)
#define ASSERT0(x) VERIFY3_IMPL(x, ==, 0, uintmax_t)