+ MUST_SUCCEED(TYPE_MINIMUM(type) == minimum); \
+ sprintf(max_s, "%"PRIuMAX, (uintmax_t) (maximum)); \
+ MUST_SUCCEED(strlen(max_s) <= INT_STRLEN(type)); \
+ sprintf(min_s, "%"PRIdMAX, (intmax_t) (minimum)); \
+ MUST_SUCCEED(strlen(min_s) <= INT_STRLEN(type));