assert_neg_gfunc_with
check_assert(assert_neg_gfunc_with, -100, _);
check_assert(assert_neg_gfunc_with, 100, _bad_);