s/uint64/uint64_t/