Switch uint64_t to uint64