__is_nonneg
#define __is_nonneg(ux) statically_true((long long)(ux) >= 0)
#define __is_nonneg(ux) statically_true( \