function raw(str) {
    return str.replace(/\t/g, '\\t')
              .replace(/\r\n/g, '\\r\\n')
              .replace(/\r/g, '\\r')
              .replace(/\n/g, '\\n');
}