#include <stdio.h> #include <inttypes.h> int main() { int64_t population = 8000000000; printf("%" PRId64 "\n", population); return 0; }