VERIFY3_IMPL takes 5 arguments. It should be `VERIFY3_IMPL(x, ==, 0, "%ju", uintmax_t)`