uint64_t -> uint64