INTMAX_MAX        513 maint/gnulib/lib/stdint.in.h #   define INTMAX_MAX  INT64_MAX
INTMAX_MAX        516 maint/gnulib/lib/stdint.in.h #   define INTMAX_MAX  INT32_MAX