UINTMAX_MAX       522 maint/gnulib/lib/stdint.in.h #   define UINTMAX_MAX  UINT64_MAX
UINTMAX_MAX       524 maint/gnulib/lib/stdint.in.h #   define UINTMAX_MAX  UINT32_MAX