std :: stdint
#include <std/stdint.h> source
#include <std/stdint.h>
#define INT64_MAX 9223372036854775807LL