std :: stdint
#include <std/stdint.h> source
#include <std/stdint.h>
#define UINT64_MAX 18446744073709551615ULL