INTMAX_MAX        450 lib/stdint.in.h #  define INTMAX_MAX  INT64_MAX
INTMAX_MAX        453 lib/stdint.in.h #  define INTMAX_MAX  INT32_MAX