std::vector<int> make_int_vector(std::size_t size) { return std::vector(size, 0); }