Fixed uint64_t printf statements