UINTMAX_C         405 lib/stdint.in.h #  define UINT64_MAX  UINTMAX_C (18446744073709551615)
UINTMAX_C         667 lib/stdint.in.h # ifndef UINTMAX_C