+std::vector<string> split_string(const string &str, char sep){
+ char *instr = strdup(str.c_str());
+ char *words[1000];
+ int nwords = split_string(instr, sep, words, 1000);
+ vector<string> ret;
+ for(int i=0;i<nwords;++i){
+ ret.push_back(words[i]);
+ }
+ delete instr;
+ return ret;
+}
+