Convert unsigned long long int to uint64_t and use proper PRIu64 format for printf.