INTMAX_MAX        513 lib/stdint.in.h #   define INTMAX_MAX  INT64_MAX
INTMAX_MAX        516 lib/stdint.in.h #   define INTMAX_MAX  INT32_MAX
INTMAX_MAX         44 nt/inc/stdint.h #define INTMAX_MAX INT64_MAX
INTMAX_MAX         60 nt/inc/stdint.h #define INTMAX_MAX INT32_MAX