WINT_MAX          730 lib/stdint.in.h # ifdef WINT_MAX
WINT_MAX          731 lib/stdint.in.h #  define WINT_WIDTH _GL_INTEGER_WIDTH (WINT_MIN, WINT_MAX)