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