Use the macro PRIu64 as format symbol to print uint64.
It could work well on both 32 bits and 64 bits without any warning.