#include /* converts \ to \\ in strings */ fixslash(s) { local outstr; if (not(isstring(s))) return(s); outstr = strreplace(s, "\", "\\"); return(outstr); }