UINTMAX_C         381 lib/gnu/stdint.in.h # define UINT64_MAX  UINTMAX_C (18446744073709551615)
UINTMAX_C         624 lib/gnu/stdint.in.h #ifndef UINTMAX_C