text: // Copyright 2009 the Sputnik authors.  All rights reserved.
  // This code is governed by the BSD license found in the LICENSE file.
  
  /**
   * @name: S7.8.4_A7.4_T1;
   * @section: 7.8.4;
   * @assertion: UnicodeEscapeSequence \U HexDigit HexDigit HexDigit HexDigit is incorrect;
   * @description: Checking if execution of "\U0001" passes;
   * @negative
  */
  
  //CHECK#1
  "\U0001"
  