assert_nz_gfunc_with
check_assert(assert_nz_gfunc_with, 5, _);
check_assert(assert_nz_gfunc_with, 0, _bad_);