use inttypes macros to print uint64_t