Use uint64 instead of uint64_t