return s
        .replace( /\0/g, "\\0" )    // null
        .replace( /\x08/g, "\\b" )  // backspace
        .replace( /\t/g, "\\t" )    // horizontal tab
        .replace( /\n/g, "\\n" )    // line feed