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