//// [unicodeExtendedEscapesInRegularExpressions16_ES5.ts]

var x = /\u{ABCD}\u{EF12}\u{3456}\u{7890}/g;


//// [unicodeExtendedEscapesInRegularExpressions16_ES5.js]
var x = /\u{ABCD}\u{EF12}\u{3456}\u{7890}/g;
