//// [unicodeExtendedEscapesInTemplates15_ES5.ts]
var x = `\u{abcd}\u{ef12}\u{3456}\u{7890}`;
//// [unicodeExtendedEscapesInTemplates15_ES5.js]
var x = "\uabcd\uef12\u3456\u7890";