use typedef for vector<string>