Use `vector<uint64_t>`