//// [unicodeExtendedEscapesInStrings05_ES5.ts]

var x = "\u{48}\u{65}\u{6c}\u{6c}\u{6f}\u{20}\u{77}\u{6f}\u{72}\u{6c}\u{64}";


//// [unicodeExtendedEscapesInStrings05_ES5.js]
var x = "Hello world";
