assert_negeq_gfunc
check_assert(assert_negeq_gfunc, -1, _);
check_assert(assert_negeq_gfunc, 1, _bad_);