/ {
compatible = "test_string_escapes";
escape-str = "nastystring: \a\b\t\n\v\f\r\\\"";
escape-str-2 = "\xde\xad\xbe\xef";
};