+ std::string stringify(const std::string& line)
+ {
+ std::string res;
+ for (int i = 0; i < line.size(); i++)
+ {
+ if(line[i] == '\\')
+ res.push_back('\\');
+ if(line[i] == '\"')
+ res.push_back('\\');
+ res.push_back(line[i]);
+ }
+ return res;
+ }
+