//// [unicodeExtendedEscapesInStrings16_ES5.ts]
var x = "\u{ABCD}\u{EF12}\u{3456}\u{7890}";
//// [unicodeExtendedEscapesInStrings16_ES5.js]
var x = "\uABCD\uEF12\u3456\u7890";