code: function(s) {
      return '"' + s.replace(/[\u0000-\u001f"\\\u007f-\uffff]/g, function (c) {
        switch (c) {
        case '\b':
          return '\\b';
        case '\f':
          return '\\f';
        case '\n':
          return '\\n';
        case '\r':
          return '\\r';
        case '\t':
          return '\\t';
        // IE doesn't support this
        /*
        case '\v':
          return '\\v';
        */
        case '"':
          return '\\"';
        case '\\':
          return '\\\\';
        default:
          return '\\u' + jscoverage_pad(c.charCodeAt(0).toString(16));
        }
      }) + '"';
    }
docs: jscoverage_quote from: http://siliconforks.com/jscoverage/