Use `const vector<uint64_t>& `