UINTMAX_MAX       522 lib/stdint.in.h #   define UINTMAX_MAX  UINT64_MAX
UINTMAX_MAX       524 lib/stdint.in.h #   define UINTMAX_MAX  UINT32_MAX
UINTMAX_MAX        42 nt/inc/stdint.h #define UINTMAX_MAX UINT64_MAX
UINTMAX_MAX        58 nt/inc/stdint.h #define UINTMAX_MAX UINT32_MAX