-<string>\\n add_char('\n');
-<string>\\t add_char('\t');
-<string>\\r add_char('\r');
-<string>\\b add_char('\b');
-<string>\\f add_char('\f');
-<string>\\. add_char(yytext[1]);
+ /* alfons - OK, the new attempt is to just swallow
+ * *EVERYTHING* and make sure everything is escaped
+ * when actually performing things. */
+<string>\\\" {
+ /* take care of escaped \" because this means the
+ * quote char should be skipped */
+ add_char('\\');
+ add_char('\"');
+ }