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