in benchmark/old.js [465:493]
function escapeAllowedCharacter(code, next) {
var hex, result = '\\';
switch (code) {
case 0x08 /* \b */:
result += 'b';
break;
case 0x0C /* \f */:
result += 'f';
break;
case 0x09 /* \t */:
result += 't';
break;
default:
hex = code.toString(16).toUpperCase();
if (json || code > 0xFF) {
result += 'u' + '0000'.slice(hex.length) + hex;
} else if (code === 0x0000 && !esutils.code.isDecimalDigit(next)) {
result += '0';
} else if (code === 0x000B /* \v */) { // '\v'
result += 'x0B';
} else {
result += 'x' + '00'.slice(hex.length) + hex;
}
break;
}
return result;
}