void wrt_vec (vector<string>& vec, fstream& f) { auto tmpsz = vec.size(); f.wrt(tmpsz); for (auto a : vec) write_string(a, f); }
void wrt_vec (vector<string>& vec, fstream& f) { auto tmpsz = vec.size(); f.wrt(tmpsz); for (auto a : vec) write_string(a, f); }