Home | History | Annotate | Download | only in a64 
      1 // Copyright 2015, ARM Limited
      2 // All rights reserved.
      3 //
      4 // Redistribution and use in source and binary forms, with or without
      5 // modification, are permitted provided that the following conditions are met:
      6 //
      7 //   * Redistributions of source code must retain the above copyright notice,
      8 //     this list of conditions and the following disclaimer.
      9 //   * Redistributions in binary form must reproduce the above copyright notice,
     10 //     this list of conditions and the following disclaimer in the documentation
     11 //     and/or other materials provided with the distribution.
     12 //   * Neither the name of ARM Limited nor the names of its contributors may be
     13 //     used to endorse or promote products derived from this software without
     14 //     specific prior written permission.
     15 //
     16 // THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS CONTRIBUTORS "AS IS" AND
     17 // ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED
     18 // WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
     19 // DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE
     20 // FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
     21 // DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
     22 // SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
     23 // CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
     24 // OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
     25 // OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
     26 
     27 
     28 // ---------------------------------------------------------------------
     29 // This file is auto generated using tools/generate_simulator_traces.py.
     30 //
     31 // PLEASE DO NOT EDIT.
     32 // ---------------------------------------------------------------------
     33 
     34 #ifndef VIXL_SIM_UADDL_8H_TRACE_A64_H_
     35 #define VIXL_SIM_UADDL_8H_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_uaddl_8H[] = {
     38   0x0066, 0x00aa, 0x00fa, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104,
     39   0x0088, 0x00d2, 0x00fb, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x0105,
     40   0x00b0, 0x00d3, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x012c,
     41   0x00b1, 0x00d4, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x012b, 0x014e,
     42   0x00b2, 0x00d5, 0x00fe, 0x0100, 0x0102, 0x012a, 0x014d, 0x017a,
     43   0x00b3, 0x00d6, 0x00ff, 0x0101, 0x0129, 0x014c, 0x0179, 0x017f,
     44   0x00b4, 0x00d7, 0x0100, 0x0128, 0x014b, 0x0178, 0x017e, 0x0180,
     45   0x00b5, 0x00d8, 0x0127, 0x014a, 0x0177, 0x017d, 0x017f, 0x0181,
     46   0x00b6, 0x00ff, 0x0149, 0x0176, 0x017c, 0x017e, 0x0180, 0x0082,
     47   0x00dd, 0x0121, 0x0175, 0x017b, 0x017d, 0x017f, 0x0081, 0x0083,
     48   0x00ff, 0x014d, 0x017a, 0x017c, 0x017e, 0x0080, 0x0082, 0x0084,
     49   0x012b, 0x0152, 0x017b, 0x017d, 0x007f, 0x0081, 0x0083, 0x008a,
     50   0x0130, 0x0153, 0x017c, 0x007e, 0x0080, 0x0082, 0x0089, 0x00b5,
     51   0x0131, 0x0154, 0x007d, 0x007f, 0x0081, 0x0088, 0x00b4, 0x00d7,
     52   0x0132, 0x0055, 0x007e, 0x0080, 0x0087, 0x00b3, 0x00d6, 0x00ff,
     53   0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0x00d5, 0x00fe, 0x0100,
     54   0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0x00fd, 0x00ff, 0x0101,
     55   0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0x00fe, 0x0100, 0x0102,
     56   0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0x00ff, 0x0101, 0x0103,
     57   0x0088, 0x00d2, 0x00fb, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x0105,
     58   0x00aa, 0x00fa, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x0106,
     59   0x00d2, 0x00fb, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x0105, 0x012d,
     60   0x00d3, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x012c, 0x014f,
     61   0x00d4, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x012b, 0x014e, 0x017b,
     62   0x00d5, 0x00fe, 0x0100, 0x0102, 0x012a, 0x014d, 0x017a, 0x0180,
     63   0x00d6, 0x00ff, 0x0101, 0x0129, 0x014c, 0x0179, 0x017f, 0x0181,
     64   0x00d7, 0x0100, 0x0128, 0x014b, 0x0178, 0x017e, 0x0180, 0x0182,
     65   0x00d8, 0x0127, 0x014a, 0x0177, 0x017d, 0x017f, 0x0181, 0x0083,
     66   0x00ff, 0x0149, 0x0176, 0x017c, 0x017e, 0x0180, 0x0082, 0x0084,
     67   0x0121, 0x0175, 0x017b, 0x017d, 0x017f, 0x0081, 0x0083, 0x0085,
     68   0x014d, 0x017a, 0x017c, 0x017e, 0x0080, 0x0082, 0x0084, 0x008b,
     69   0x0152, 0x017b, 0x017d, 0x007f, 0x0081, 0x0083, 0x008a, 0x00b6,
     70   0x0153, 0x017c, 0x007e, 0x0080, 0x0082, 0x0089, 0x00b5, 0x00d8,
     71   0x0154, 0x007d, 0x007f, 0x0081, 0x0088, 0x00b4, 0x00d7, 0x0100,
     72   0x0055, 0x007e, 0x0080, 0x0087, 0x00b3, 0x00d6, 0x00ff, 0x0101,
     73   0x0056, 0x007f, 0x0086, 0x00b2, 0x00d5, 0x00fe, 0x0100, 0x0102,
     74   0x0057, 0x0085, 0x00b1, 0x00d4, 0x00fd, 0x00ff, 0x0101, 0x0103,
     75   0x005d, 0x00b0, 0x00d3, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104,
     76   0x00b0, 0x00d3, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x012c,
     77   0x00d2, 0x00fb, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x0105, 0x012d,
     78   0x00fa, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x0106, 0x0154,
     79   0x00fb, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x0105, 0x012d, 0x0176,
     80   0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x012c, 0x014f, 0x01a2,
     81   0x00fd, 0x00ff, 0x0101, 0x0103, 0x012b, 0x014e, 0x017b, 0x01a7,
     82   0x00fe, 0x0100, 0x0102, 0x012a, 0x014d, 0x017a, 0x0180, 0x01a8,
     83   0x00ff, 0x0101, 0x0129, 0x014c, 0x0179, 0x017f, 0x0181, 0x01a9,
     84   0x0100, 0x0128, 0x014b, 0x0178, 0x017e, 0x0180, 0x0182, 0x00aa,
     85   0x0127, 0x014a, 0x0177, 0x017d, 0x017f, 0x0181, 0x0083, 0x00ab,
     86   0x0149, 0x0176, 0x017c, 0x017e, 0x0180, 0x0082, 0x0084, 0x00ac,
     87   0x0175, 0x017b, 0x017d, 0x017f, 0x0081, 0x0083, 0x0085, 0x00b2,
     88   0x017a, 0x017c, 0x017e, 0x0080, 0x0082, 0x0084, 0x008b, 0x00dd,
     89   0x017b, 0x017d, 0x007f, 0x0081, 0x0083, 0x008a, 0x00b6, 0x00ff,
     90   0x017c, 0x007e, 0x0080, 0x0082, 0x0089, 0x00b5, 0x00d8, 0x0127,
     91   0x007d, 0x007f, 0x0081, 0x0088, 0x00b4, 0x00d7, 0x0100, 0x0128,
     92   0x007e, 0x0080, 0x0087, 0x00b3, 0x00d6, 0x00ff, 0x0101, 0x0129,
     93   0x007f, 0x0086, 0x00b2, 0x00d5, 0x00fe, 0x0100, 0x0102, 0x012a,
     94   0x0085, 0x00b1, 0x00d4, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x012b,
     95   0x00b1, 0x00d4, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x012b, 0x014e,
     96   0x00d3, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x012c, 0x014f,
     97   0x00fb, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x0105, 0x012d, 0x0176,
     98   0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x0106, 0x0154, 0x0198,
     99   0x00fd, 0x00ff, 0x0101, 0x0103, 0x0105, 0x012d, 0x0176, 0x01c4,
    100   0x00fe, 0x0100, 0x0102, 0x0104, 0x012c, 0x014f, 0x01a2, 0x01c9,
    101   0x00ff, 0x0101, 0x0103, 0x012b, 0x014e, 0x017b, 0x01a7, 0x01ca,
    102   0x0100, 0x0102, 0x012a, 0x014d, 0x017a, 0x0180, 0x01a8, 0x01cb,
    103   0x0101, 0x0129, 0x014c, 0x0179, 0x017f, 0x0181, 0x01a9, 0x00cc,
    104   0x0128, 0x014b, 0x0178, 0x017e, 0x0180, 0x0182, 0x00aa, 0x00cd,
    105   0x014a, 0x0177, 0x017d, 0x017f, 0x0181, 0x0083, 0x00ab, 0x00ce,
    106   0x0176, 0x017c, 0x017e, 0x0180, 0x0082, 0x0084, 0x00ac, 0x00d4,
    107   0x017b, 0x017d, 0x017f, 0x0081, 0x0083, 0x0085, 0x00b2, 0x00ff,
    108   0x017c, 0x017e, 0x0080, 0x0082, 0x0084, 0x008b, 0x00dd, 0x0121,
    109   0x017d, 0x007f, 0x0081, 0x0083, 0x008a, 0x00b6, 0x00ff, 0x0149,
    110   0x007e, 0x0080, 0x0082, 0x0089, 0x00b5, 0x00d8, 0x0127, 0x014a,
    111   0x007f, 0x0081, 0x0088, 0x00b4, 0x00d7, 0x0100, 0x0128, 0x014b,
    112   0x0080, 0x0087, 0x00b3, 0x00d6, 0x00ff, 0x0101, 0x0129, 0x014c,
    113   0x0086, 0x00b2, 0x00d5, 0x00fe, 0x0100, 0x0102, 0x012a, 0x014d,
    114   0x00b2, 0x00d5, 0x00fe, 0x0100, 0x0102, 0x012a, 0x014d, 0x017a,
    115   0x00d4, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x012b, 0x014e, 0x017b,
    116   0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104, 0x012c, 0x014f, 0x01a2,
    117   0x00fd, 0x00ff, 0x0101, 0x0103, 0x0105, 0x012d, 0x0176, 0x01c4,
    118   0x00fe, 0x0100, 0x0102, 0x0104, 0x0106, 0x0154, 0x0198, 0x01f0,
    119   0x00ff, 0x0101, 0x0103, 0x0105, 0x012d, 0x0176, 0x01c4, 0x01f5,
    120   0x0100, 0x0102, 0x0104, 0x012c, 0x014f, 0x01a2, 0x01c9, 0x01f6,
    121   0x0101, 0x0103, 0x012b, 0x014e, 0x017b, 0x01a7, 0x01ca, 0x01f7,
    122   0x0102, 0x012a, 0x014d, 0x017a, 0x0180, 0x01a8, 0x01cb, 0x00f8,
    123   0x0129, 0x014c, 0x0179, 0x017f, 0x0181, 0x01a9, 0x00cc, 0x00f9,
    124   0x014b, 0x0178, 0x017e, 0x0180, 0x0182, 0x00aa, 0x00cd, 0x00fa,
    125   0x0177, 0x017d, 0x017f, 0x0181, 0x0083, 0x00ab, 0x00ce, 0x0100,
    126   0x017c, 0x017e, 0x0180, 0x0082, 0x0084, 0x00ac, 0x00d4, 0x012b,
    127   0x017d, 0x017f, 0x0081, 0x0083, 0x0085, 0x00b2, 0x00ff, 0x014d,
    128   0x017e, 0x0080, 0x0082, 0x0084, 0x008b, 0x00dd, 0x0121, 0x0175,
    129   0x007f, 0x0081, 0x0083, 0x008a, 0x00b6, 0x00ff, 0x0149, 0x0176,
    130   0x0080, 0x0082, 0x0089, 0x00b5, 0x00d8, 0x0127, 0x014a, 0x0177,
    131   0x0081, 0x0088, 0x00b4, 0x00d7, 0x0100, 0x0128, 0x014b, 0x0178,
    132   0x0087, 0x00b3, 0x00d6, 0x00ff, 0x0101, 0x0129, 0x014c, 0x0179,
    133   0x00b3, 0x00d6, 0x00ff, 0x0101, 0x0129, 0x014c, 0x0179, 0x017f,
    134   0x00d5, 0x00fe, 0x0100, 0x0102, 0x012a, 0x014d, 0x017a, 0x0180,
    135   0x00fd, 0x00ff, 0x0101, 0x0103, 0x012b, 0x014e, 0x017b, 0x01a7,
    136   0x00fe, 0x0100, 0x0102, 0x0104, 0x012c, 0x014f, 0x01a2, 0x01c9,
    137   0x00ff, 0x0101, 0x0103, 0x0105, 0x012d, 0x0176, 0x01c4, 0x01f5,
    138   0x0100, 0x0102, 0x0104, 0x0106, 0x0154, 0x0198, 0x01f0, 0x01fa,
    139   0x0101, 0x0103, 0x0105, 0x012d, 0x0176, 0x01c4, 0x01f5, 0x01fb,
    140   0x0102, 0x0104, 0x012c, 0x014f, 0x01a2, 0x01c9, 0x01f6, 0x01fc,
    141   0x0103, 0x012b, 0x014e, 0x017b, 0x01a7, 0x01ca, 0x01f7, 0x00fd,
    142   0x012a, 0x014d, 0x017a, 0x0180, 0x01a8, 0x01cb, 0x00f8, 0x00fe,
    143   0x014c, 0x0179, 0x017f, 0x0181, 0x01a9, 0x00cc, 0x00f9, 0x00ff,
    144   0x0178, 0x017e, 0x0180, 0x0182, 0x00aa, 0x00cd, 0x00fa, 0x0105,
    145   0x017d, 0x017f, 0x0181, 0x0083, 0x00ab, 0x00ce, 0x0100, 0x0130,
    146   0x017e, 0x0180, 0x0082, 0x0084, 0x00ac, 0x00d4, 0x012b, 0x0152,
    147   0x017f, 0x0081, 0x0083, 0x0085, 0x00b2, 0x00ff, 0x014d, 0x017a,
    148   0x0080, 0x0082, 0x0084, 0x008b, 0x00dd, 0x0121, 0x0175, 0x017b,
    149   0x0081, 0x0083, 0x008a, 0x00b6, 0x00ff, 0x0149, 0x0176, 0x017c,
    150   0x0082, 0x0089, 0x00b5, 0x00d8, 0x0127, 0x014a, 0x0177, 0x017d,
    151   0x0088, 0x00b4, 0x00d7, 0x0100, 0x0128, 0x014b, 0x0178, 0x017e,
    152   0x00b4, 0x00d7, 0x0100, 0x0128, 0x014b, 0x0178, 0x017e, 0x0180,
    153   0x00d6, 0x00ff, 0x0101, 0x0129, 0x014c, 0x0179, 0x017f, 0x0181,
    154   0x00fe, 0x0100, 0x0102, 0x012a, 0x014d, 0x017a, 0x0180, 0x01a8,
    155   0x00ff, 0x0101, 0x0103, 0x012b, 0x014e, 0x017b, 0x01a7, 0x01ca,
    156   0x0100, 0x0102, 0x0104, 0x012c, 0x014f, 0x01a2, 0x01c9, 0x01f6,
    157   0x0101, 0x0103, 0x0105, 0x012d, 0x0176, 0x01c4, 0x01f5, 0x01fb,
    158   0x0102, 0x0104, 0x0106, 0x0154, 0x0198, 0x01f0, 0x01fa, 0x01fc,
    159   0x0103, 0x0105, 0x012d, 0x0176, 0x01c4, 0x01f5, 0x01fb, 0x01fd,
    160   0x0104, 0x012c, 0x014f, 0x01a2, 0x01c9, 0x01f6, 0x01fc, 0x00fe,
    161   0x012b, 0x014e, 0x017b, 0x01a7, 0x01ca, 0x01f7, 0x00fd, 0x00ff,
    162   0x014d, 0x017a, 0x0180, 0x01a8, 0x01cb, 0x00f8, 0x00fe, 0x0100,
    163   0x0179, 0x017f, 0x0181, 0x01a9, 0x00cc, 0x00f9, 0x00ff, 0x0106,
    164   0x017e, 0x0180, 0x0182, 0x00aa, 0x00cd, 0x00fa, 0x0105, 0x0131,
    165   0x017f, 0x0181, 0x0083, 0x00ab, 0x00ce, 0x0100, 0x0130, 0x0153,
    166   0x0180, 0x0082, 0x0084, 0x00ac, 0x00d4, 0x012b, 0x0152, 0x017b,
    167   0x0081, 0x0083, 0x0085, 0x00b2, 0x00ff, 0x014d, 0x017a, 0x017c,
    168   0x0082, 0x0084, 0x008b, 0x00dd, 0x0121, 0x0175, 0x017b, 0x017d,
    169   0x0083, 0x008a, 0x00b6, 0x00ff, 0x0149, 0x0176, 0x017c, 0x017e,
    170   0x0089, 0x00b5, 0x00d8, 0x0127, 0x014a, 0x0177, 0x017d, 0x017f,
    171   0x00b5, 0x00d8, 0x0127, 0x014a, 0x0177, 0x017d, 0x017f, 0x0181,
    172   0x00d7, 0x0100, 0x0128, 0x014b, 0x0178, 0x017e, 0x0180, 0x0182,
    173   0x00ff, 0x0101, 0x0129, 0x014c, 0x0179, 0x017f, 0x0181, 0x01a9,
    174   0x0100, 0x0102, 0x012a, 0x014d, 0x017a, 0x0180, 0x01a8, 0x01cb,
    175   0x0101, 0x0103, 0x012b, 0x014e, 0x017b, 0x01a7, 0x01ca, 0x01f7,
    176   0x0102, 0x0104, 0x012c, 0x014f, 0x01a2, 0x01c9, 0x01f6, 0x01fc,
    177   0x0103, 0x0105, 0x012d, 0x0176, 0x01c4, 0x01f5, 0x01fb, 0x01fd,
    178   0x0104, 0x0106, 0x0154, 0x0198, 0x01f0, 0x01fa, 0x01fc, 0x01fe,
    179   0x0105, 0x012d, 0x0176, 0x01c4, 0x01f5, 0x01fb, 0x01fd, 0x00ff,
    180   0x012c, 0x014f, 0x01a2, 0x01c9, 0x01f6, 0x01fc, 0x00fe, 0x0100,
    181   0x014e, 0x017b, 0x01a7, 0x01ca, 0x01f7, 0x00fd, 0x00ff, 0x0101,
    182   0x017a, 0x0180, 0x01a8, 0x01cb, 0x00f8, 0x00fe, 0x0100, 0x0107,
    183   0x017f, 0x0181, 0x01a9, 0x00cc, 0x00f9, 0x00ff, 0x0106, 0x0132,
    184   0x0180, 0x0182, 0x00aa, 0x00cd, 0x00fa, 0x0105, 0x0131, 0x0154,
    185   0x0181, 0x0083, 0x00ab, 0x00ce, 0x0100, 0x0130, 0x0153, 0x017c,
    186   0x0082, 0x0084, 0x00ac, 0x00d4, 0x012b, 0x0152, 0x017b, 0x017d,
    187   0x0083, 0x0085, 0x00b2, 0x00ff, 0x014d, 0x017a, 0x017c, 0x017e,
    188   0x0084, 0x008b, 0x00dd, 0x0121, 0x0175, 0x017b, 0x017d, 0x017f,
    189   0x008a, 0x00b6, 0x00ff, 0x0149, 0x0176, 0x017c, 0x017e, 0x0180,
    190   0x00b6, 0x00ff, 0x0149, 0x0176, 0x017c, 0x017e, 0x0180, 0x0082,
    191   0x00d8, 0x0127, 0x014a, 0x0177, 0x017d, 0x017f, 0x0181, 0x0083,
    192   0x0100, 0x0128, 0x014b, 0x0178, 0x017e, 0x0180, 0x0182, 0x00aa,
    193   0x0101, 0x0129, 0x014c, 0x0179, 0x017f, 0x0181, 0x01a9, 0x00cc,
    194   0x0102, 0x012a, 0x014d, 0x017a, 0x0180, 0x01a8, 0x01cb, 0x00f8,
    195   0x0103, 0x012b, 0x014e, 0x017b, 0x01a7, 0x01ca, 0x01f7, 0x00fd,
    196   0x0104, 0x012c, 0x014f, 0x01a2, 0x01c9, 0x01f6, 0x01fc, 0x00fe,
    197   0x0105, 0x012d, 0x0176, 0x01c4, 0x01f5, 0x01fb, 0x01fd, 0x00ff,
    198   0x0106, 0x0154, 0x0198, 0x01f0, 0x01fa, 0x01fc, 0x01fe, 0x0000,
    199   0x012d, 0x0176, 0x01c4, 0x01f5, 0x01fb, 0x01fd, 0x00ff, 0x0001,
    200   0x014f, 0x01a2, 0x01c9, 0x01f6, 0x01fc, 0x00fe, 0x0100, 0x0002,
    201   0x017b, 0x01a7, 0x01ca, 0x01f7, 0x00fd, 0x00ff, 0x0101, 0x0008,
    202   0x0180, 0x01a8, 0x01cb, 0x00f8, 0x00fe, 0x0100, 0x0107, 0x0033,
    203   0x0181, 0x01a9, 0x00cc, 0x00f9, 0x00ff, 0x0106, 0x0132, 0x0055,
    204   0x0182, 0x00aa, 0x00cd, 0x00fa, 0x0105, 0x0131, 0x0154, 0x007d,
    205   0x0083, 0x00ab, 0x00ce, 0x0100, 0x0130, 0x0153, 0x017c, 0x007e,
    206   0x0084, 0x00ac, 0x00d4, 0x012b, 0x0152, 0x017b, 0x017d, 0x007f,
    207   0x0085, 0x00b2, 0x00ff, 0x014d, 0x017a, 0x017c, 0x017e, 0x0080,
    208   0x008b, 0x00dd, 0x0121, 0x0175, 0x017b, 0x017d, 0x017f, 0x0081,
    209   0x00dd, 0x0121, 0x0175, 0x017b, 0x017d, 0x017f, 0x0081, 0x0083,
    210   0x00ff, 0x0149, 0x0176, 0x017c, 0x017e, 0x0180, 0x0082, 0x0084,
    211   0x0127, 0x014a, 0x0177, 0x017d, 0x017f, 0x0181, 0x0083, 0x00ab,
    212   0x0128, 0x014b, 0x0178, 0x017e, 0x0180, 0x0182, 0x00aa, 0x00cd,
    213   0x0129, 0x014c, 0x0179, 0x017f, 0x0181, 0x01a9, 0x00cc, 0x00f9,
    214   0x012a, 0x014d, 0x017a, 0x0180, 0x01a8, 0x01cb, 0x00f8, 0x00fe,
    215   0x012b, 0x014e, 0x017b, 0x01a7, 0x01ca, 0x01f7, 0x00fd, 0x00ff,
    216   0x012c, 0x014f, 0x01a2, 0x01c9, 0x01f6, 0x01fc, 0x00fe, 0x0100,
    217   0x012d, 0x0176, 0x01c4, 0x01f5, 0x01fb, 0x01fd, 0x00ff, 0x0001,
    218   0x0154, 0x0198, 0x01f0, 0x01fa, 0x01fc, 0x01fe, 0x0000, 0x0002,
    219   0x0176, 0x01c4, 0x01f5, 0x01fb, 0x01fd, 0x00ff, 0x0001, 0x0003,
    220   0x01a2, 0x01c9, 0x01f6, 0x01fc, 0x00fe, 0x0100, 0x0002, 0x0009,
    221   0x01a7, 0x01ca, 0x01f7, 0x00fd, 0x00ff, 0x0101, 0x0008, 0x0034,
    222   0x01a8, 0x01cb, 0x00f8, 0x00fe, 0x0100, 0x0107, 0x0033, 0x0056,
    223   0x01a9, 0x00cc, 0x00f9, 0x00ff, 0x0106, 0x0132, 0x0055, 0x007e,
    224   0x00aa, 0x00cd, 0x00fa, 0x0105, 0x0131, 0x0154, 0x007d, 0x007f,
    225   0x00ab, 0x00ce, 0x0100, 0x0130, 0x0153, 0x017c, 0x007e, 0x0080,
    226   0x00ac, 0x00d4, 0x012b, 0x0152, 0x017b, 0x017d, 0x007f, 0x0081,
    227   0x00b2, 0x00ff, 0x014d, 0x017a, 0x017c, 0x017e, 0x0080, 0x0082,
    228   0x00ff, 0x014d, 0x017a, 0x017c, 0x017e, 0x0080, 0x0082, 0x0084,
    229   0x0121, 0x0175, 0x017b, 0x017d, 0x017f, 0x0081, 0x0083, 0x0085,
    230   0x0149, 0x0176, 0x017c, 0x017e, 0x0180, 0x0082, 0x0084, 0x00ac,
    231   0x014a, 0x0177, 0x017d, 0x017f, 0x0181, 0x0083, 0x00ab, 0x00ce,
    232   0x014b, 0x0178, 0x017e, 0x0180, 0x0182, 0x00aa, 0x00cd, 0x00fa,
    233   0x014c, 0x0179, 0x017f, 0x0181, 0x01a9, 0x00cc, 0x00f9, 0x00ff,
    234   0x014d, 0x017a, 0x0180, 0x01a8, 0x01cb, 0x00f8, 0x00fe, 0x0100,
    235   0x014e, 0x017b, 0x01a7, 0x01ca, 0x01f7, 0x00fd, 0x00ff, 0x0101,
    236   0x014f, 0x01a2, 0x01c9, 0x01f6, 0x01fc, 0x00fe, 0x0100, 0x0002,
    237   0x0176, 0x01c4, 0x01f5, 0x01fb, 0x01fd, 0x00ff, 0x0001, 0x0003,
    238   0x0198, 0x01f0, 0x01fa, 0x01fc, 0x01fe, 0x0000, 0x0002, 0x0004,
    239   0x01c4, 0x01f5, 0x01fb, 0x01fd, 0x00ff, 0x0001, 0x0003, 0x000a,
    240   0x01c9, 0x01f6, 0x01fc, 0x00fe, 0x0100, 0x0002, 0x0009, 0x0035,
    241   0x01ca, 0x01f7, 0x00fd, 0x00ff, 0x0101, 0x0008, 0x0034, 0x0057,
    242   0x01cb, 0x00f8, 0x00fe, 0x0100, 0x0107, 0x0033, 0x0056, 0x007f,
    243   0x00cc, 0x00f9, 0x00ff, 0x0106, 0x0132, 0x0055, 0x007e, 0x0080,
    244   0x00cd, 0x00fa, 0x0105, 0x0131, 0x0154, 0x007d, 0x007f, 0x0081,
    245   0x00ce, 0x0100, 0x0130, 0x0153, 0x017c, 0x007e, 0x0080, 0x0082,
    246   0x00d4, 0x012b, 0x0152, 0x017b, 0x017d, 0x007f, 0x0081, 0x0083,
    247   0x012b, 0x0152, 0x017b, 0x017d, 0x007f, 0x0081, 0x0083, 0x008a,
    248   0x014d, 0x017a, 0x017c, 0x017e, 0x0080, 0x0082, 0x0084, 0x008b,
    249   0x0175, 0x017b, 0x017d, 0x017f, 0x0081, 0x0083, 0x0085, 0x00b2,
    250   0x0176, 0x017c, 0x017e, 0x0180, 0x0082, 0x0084, 0x00ac, 0x00d4,
    251   0x0177, 0x017d, 0x017f, 0x0181, 0x0083, 0x00ab, 0x00ce, 0x0100,
    252   0x0178, 0x017e, 0x0180, 0x0182, 0x00aa, 0x00cd, 0x00fa, 0x0105,
    253   0x0179, 0x017f, 0x0181, 0x01a9, 0x00cc, 0x00f9, 0x00ff, 0x0106,
    254   0x017a, 0x0180, 0x01a8, 0x01cb, 0x00f8, 0x00fe, 0x0100, 0x0107,
    255   0x017b, 0x01a7, 0x01ca, 0x01f7, 0x00fd, 0x00ff, 0x0101, 0x0008,
    256   0x01a2, 0x01c9, 0x01f6, 0x01fc, 0x00fe, 0x0100, 0x0002, 0x0009,
    257   0x01c4, 0x01f5, 0x01fb, 0x01fd, 0x00ff, 0x0001, 0x0003, 0x000a,
    258   0x01f0, 0x01fa, 0x01fc, 0x01fe, 0x0000, 0x0002, 0x0004, 0x0010,
    259   0x01f5, 0x01fb, 0x01fd, 0x00ff, 0x0001, 0x0003, 0x000a, 0x003b,
    260   0x01f6, 0x01fc, 0x00fe, 0x0100, 0x0002, 0x0009, 0x0035, 0x005d,
    261   0x01f7, 0x00fd, 0x00ff, 0x0101, 0x0008, 0x0034, 0x0057, 0x0085,
    262   0x00f8, 0x00fe, 0x0100, 0x0107, 0x0033, 0x0056, 0x007f, 0x0086,
    263   0x00f9, 0x00ff, 0x0106, 0x0132, 0x0055, 0x007e, 0x0080, 0x0087,
    264   0x00fa, 0x0105, 0x0131, 0x0154, 0x007d, 0x007f, 0x0081, 0x0088,
    265   0x0100, 0x0130, 0x0153, 0x017c, 0x007e, 0x0080, 0x0082, 0x0089,
    266   0x0130, 0x0153, 0x017c, 0x007e, 0x0080, 0x0082, 0x0089, 0x00b5,
    267   0x0152, 0x017b, 0x017d, 0x007f, 0x0081, 0x0083, 0x008a, 0x00b6,
    268   0x017a, 0x017c, 0x017e, 0x0080, 0x0082, 0x0084, 0x008b, 0x00dd,
    269   0x017b, 0x017d, 0x017f, 0x0081, 0x0083, 0x0085, 0x00b2, 0x00ff,
    270   0x017c, 0x017e, 0x0180, 0x0082, 0x0084, 0x00ac, 0x00d4, 0x012b,
    271   0x017d, 0x017f, 0x0181, 0x0083, 0x00ab, 0x00ce, 0x0100, 0x0130,
    272   0x017e, 0x0180, 0x0182, 0x00aa, 0x00cd, 0x00fa, 0x0105, 0x0131,
    273   0x017f, 0x0181, 0x01a9, 0x00cc, 0x00f9, 0x00ff, 0x0106, 0x0132,
    274   0x0180, 0x01a8, 0x01cb, 0x00f8, 0x00fe, 0x0100, 0x0107, 0x0033,
    275   0x01a7, 0x01ca, 0x01f7, 0x00fd, 0x00ff, 0x0101, 0x0008, 0x0034,
    276   0x01c9, 0x01f6, 0x01fc, 0x00fe, 0x0100, 0x0002, 0x0009, 0x0035,
    277   0x01f5, 0x01fb, 0x01fd, 0x00ff, 0x0001, 0x0003, 0x000a, 0x003b,
    278   0x01fa, 0x01fc, 0x01fe, 0x0000, 0x0002, 0x0004, 0x0010, 0x0066,
    279   0x01fb, 0x01fd, 0x00ff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088,
    280   0x01fc, 0x00fe, 0x0100, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0,
    281   0x00fd, 0x00ff, 0x0101, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1,
    282   0x00fe, 0x0100, 0x0107, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2,
    283   0x00ff, 0x0106, 0x0132, 0x0055, 0x007e, 0x0080, 0x0087, 0x00b3,
    284   0x0105, 0x0131, 0x0154, 0x007d, 0x007f, 0x0081, 0x0088, 0x00b4,
    285   0x0131, 0x0154, 0x007d, 0x007f, 0x0081, 0x0088, 0x00b4, 0x00d7,
    286   0x0153, 0x017c, 0x007e, 0x0080, 0x0082, 0x0089, 0x00b5, 0x00d8,
    287   0x017b, 0x017d, 0x007f, 0x0081, 0x0083, 0x008a, 0x00b6, 0x00ff,
    288   0x017c, 0x017e, 0x0080, 0x0082, 0x0084, 0x008b, 0x00dd, 0x0121,
    289   0x017d, 0x017f, 0x0081, 0x0083, 0x0085, 0x00b2, 0x00ff, 0x014d,
    290   0x017e, 0x0180, 0x0082, 0x0084, 0x00ac, 0x00d4, 0x012b, 0x0152,
    291   0x017f, 0x0181, 0x0083, 0x00ab, 0x00ce, 0x0100, 0x0130, 0x0153,
    292   0x0180, 0x0182, 0x00aa, 0x00cd, 0x00fa, 0x0105, 0x0131, 0x0154,
    293   0x0181, 0x01a9, 0x00cc, 0x00f9, 0x00ff, 0x0106, 0x0132, 0x0055,
    294   0x01a8, 0x01cb, 0x00f8, 0x00fe, 0x0100, 0x0107, 0x0033, 0x0056,
    295   0x01ca, 0x01f7, 0x00fd, 0x00ff, 0x0101, 0x0008, 0x0034, 0x0057,
    296   0x01f6, 0x01fc, 0x00fe, 0x0100, 0x0002, 0x0009, 0x0035, 0x005d,
    297   0x01fb, 0x01fd, 0x00ff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088,
    298   0x01fc, 0x01fe, 0x0000, 0x0002, 0x0004, 0x0010, 0x0066, 0x00aa,
    299   0x01fd, 0x00ff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2,
    300   0x00fe, 0x0100, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3,
    301   0x00ff, 0x0101, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4,
    302   0x0100, 0x0107, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0x00d5,
    303   0x0106, 0x0132, 0x0055, 0x007e, 0x0080, 0x0087, 0x00b3, 0x00d6,
    304   0x0132, 0x0055, 0x007e, 0x0080, 0x0087, 0x00b3, 0x00d6, 0x00ff,
    305   0x0154, 0x007d, 0x007f, 0x0081, 0x0088, 0x00b4, 0x00d7, 0x0100,
    306   0x017c, 0x007e, 0x0080, 0x0082, 0x0089, 0x00b5, 0x00d8, 0x0127,
    307   0x017d, 0x007f, 0x0081, 0x0083, 0x008a, 0x00b6, 0x00ff, 0x0149,
    308   0x017e, 0x0080, 0x0082, 0x0084, 0x008b, 0x00dd, 0x0121, 0x0175,
    309   0x017f, 0x0081, 0x0083, 0x0085, 0x00b2, 0x00ff, 0x014d, 0x017a,
    310   0x0180, 0x0082, 0x0084, 0x00ac, 0x00d4, 0x012b, 0x0152, 0x017b,
    311   0x0181, 0x0083, 0x00ab, 0x00ce, 0x0100, 0x0130, 0x0153, 0x017c,
    312   0x0182, 0x00aa, 0x00cd, 0x00fa, 0x0105, 0x0131, 0x0154, 0x007d,
    313   0x01a9, 0x00cc, 0x00f9, 0x00ff, 0x0106, 0x0132, 0x0055, 0x007e,
    314   0x01cb, 0x00f8, 0x00fe, 0x0100, 0x0107, 0x0033, 0x0056, 0x007f,
    315   0x01f7, 0x00fd, 0x00ff, 0x0101, 0x0008, 0x0034, 0x0057, 0x0085,
    316   0x01fc, 0x00fe, 0x0100, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0,
    317   0x01fd, 0x00ff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2,
    318   0x01fe, 0x0000, 0x0002, 0x0004, 0x0010, 0x0066, 0x00aa, 0x00fa,
    319   0x00ff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb,
    320   0x0100, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc,
    321   0x0101, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0x00fd,
    322   0x0107, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0x00d5, 0x00fe,
    323   0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0x00d5, 0x00fe, 0x0100,
    324   0x0055, 0x007e, 0x0080, 0x0087, 0x00b3, 0x00d6, 0x00ff, 0x0101,
    325   0x007d, 0x007f, 0x0081, 0x0088, 0x00b4, 0x00d7, 0x0100, 0x0128,
    326   0x007e, 0x0080, 0x0082, 0x0089, 0x00b5, 0x00d8, 0x0127, 0x014a,
    327   0x007f, 0x0081, 0x0083, 0x008a, 0x00b6, 0x00ff, 0x0149, 0x0176,
    328   0x0080, 0x0082, 0x0084, 0x008b, 0x00dd, 0x0121, 0x0175, 0x017b,
    329   0x0081, 0x0083, 0x0085, 0x00b2, 0x00ff, 0x014d, 0x017a, 0x017c,
    330   0x0082, 0x0084, 0x00ac, 0x00d4, 0x012b, 0x0152, 0x017b, 0x017d,
    331   0x0083, 0x00ab, 0x00ce, 0x0100, 0x0130, 0x0153, 0x017c, 0x007e,
    332   0x00aa, 0x00cd, 0x00fa, 0x0105, 0x0131, 0x0154, 0x007d, 0x007f,
    333   0x00cc, 0x00f9, 0x00ff, 0x0106, 0x0132, 0x0055, 0x007e, 0x0080,
    334   0x00f8, 0x00fe, 0x0100, 0x0107, 0x0033, 0x0056, 0x007f, 0x0086,
    335   0x00fd, 0x00ff, 0x0101, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1,
    336   0x00fe, 0x0100, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3,
    337   0x00ff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb,
    338   0x0000, 0x0002, 0x0004, 0x0010, 0x0066, 0x00aa, 0x00fa, 0x00fc,
    339   0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd,
    340   0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0x00fe,
    341   0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0x00fd, 0x00ff,
    342   0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0x00fd, 0x00ff, 0x0101,
    343   0x0056, 0x007f, 0x0086, 0x00b2, 0x00d5, 0x00fe, 0x0100, 0x0102,
    344   0x007e, 0x0080, 0x0087, 0x00b3, 0x00d6, 0x00ff, 0x0101, 0x0129,
    345   0x007f, 0x0081, 0x0088, 0x00b4, 0x00d7, 0x0100, 0x0128, 0x014b,
    346   0x0080, 0x0082, 0x0089, 0x00b5, 0x00d8, 0x0127, 0x014a, 0x0177,
    347   0x0081, 0x0083, 0x008a, 0x00b6, 0x00ff, 0x0149, 0x0176, 0x017c,
    348   0x0082, 0x0084, 0x008b, 0x00dd, 0x0121, 0x0175, 0x017b, 0x017d,
    349   0x0083, 0x0085, 0x00b2, 0x00ff, 0x014d, 0x017a, 0x017c, 0x017e,
    350   0x0084, 0x00ac, 0x00d4, 0x012b, 0x0152, 0x017b, 0x017d, 0x007f,
    351   0x00ab, 0x00ce, 0x0100, 0x0130, 0x0153, 0x017c, 0x007e, 0x0080,
    352   0x00cd, 0x00fa, 0x0105, 0x0131, 0x0154, 0x007d, 0x007f, 0x0081,
    353   0x00f9, 0x00ff, 0x0106, 0x0132, 0x0055, 0x007e, 0x0080, 0x0087,
    354   0x00fe, 0x0100, 0x0107, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2,
    355   0x00ff, 0x0101, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4,
    356   0x0100, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc,
    357   0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd,
    358   0x0002, 0x0004, 0x0010, 0x0066, 0x00aa, 0x00fa, 0x00fc, 0x00fe,
    359   0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0x00ff,
    360   0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0x00fe, 0x0100,
    361   0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0x00fe, 0x0100, 0x0102,
    362   0x0057, 0x0085, 0x00b1, 0x00d4, 0x00fd, 0x00ff, 0x0101, 0x0103,
    363   0x007f, 0x0086, 0x00b2, 0x00d5, 0x00fe, 0x0100, 0x0102, 0x012a,
    364   0x0080, 0x0087, 0x00b3, 0x00d6, 0x00ff, 0x0101, 0x0129, 0x014c,
    365   0x0081, 0x0088, 0x00b4, 0x00d7, 0x0100, 0x0128, 0x014b, 0x0178,
    366   0x0082, 0x0089, 0x00b5, 0x00d8, 0x0127, 0x014a, 0x0177, 0x017d,
    367   0x0083, 0x008a, 0x00b6, 0x00ff, 0x0149, 0x0176, 0x017c, 0x017e,
    368   0x0084, 0x008b, 0x00dd, 0x0121, 0x0175, 0x017b, 0x017d, 0x017f,
    369   0x0085, 0x00b2, 0x00ff, 0x014d, 0x017a, 0x017c, 0x017e, 0x0080,
    370   0x00ac, 0x00d4, 0x012b, 0x0152, 0x017b, 0x017d, 0x007f, 0x0081,
    371   0x00ce, 0x0100, 0x0130, 0x0153, 0x017c, 0x007e, 0x0080, 0x0082,
    372   0x00fa, 0x0105, 0x0131, 0x0154, 0x007d, 0x007f, 0x0081, 0x0088,
    373   0x00ff, 0x0106, 0x0132, 0x0055, 0x007e, 0x0080, 0x0087, 0x00b3,
    374   0x0100, 0x0107, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0x00d5,
    375   0x0101, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0x00fd,
    376   0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0x00fe,
    377   0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0x00ff,
    378   0x0004, 0x0010, 0x0066, 0x00aa, 0x00fa, 0x00fc, 0x00fe, 0x0100,
    379   0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0x00ff, 0x0101,
    380   0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0x00ff, 0x0101, 0x0103,
    381   0x005d, 0x00b0, 0x00d3, 0x00fc, 0x00fe, 0x0100, 0x0102, 0x0104,
    382   0x0085, 0x00b1, 0x00d4, 0x00fd, 0x00ff, 0x0101, 0x0103, 0x012b,
    383   0x0086, 0x00b2, 0x00d5, 0x00fe, 0x0100, 0x0102, 0x012a, 0x014d,
    384   0x0087, 0x00b3, 0x00d6, 0x00ff, 0x0101, 0x0129, 0x014c, 0x0179,
    385   0x0088, 0x00b4, 0x00d7, 0x0100, 0x0128, 0x014b, 0x0178, 0x017e,
    386   0x0089, 0x00b5, 0x00d8, 0x0127, 0x014a, 0x0177, 0x017d, 0x017f,
    387   0x008a, 0x00b6, 0x00ff, 0x0149, 0x0176, 0x017c, 0x017e, 0x0180,
    388   0x008b, 0x00dd, 0x0121, 0x0175, 0x017b, 0x017d, 0x017f, 0x0081,
    389   0x00b2, 0x00ff, 0x014d, 0x017a, 0x017c, 0x017e, 0x0080, 0x0082,
    390   0x00d4, 0x012b, 0x0152, 0x017b, 0x017d, 0x007f, 0x0081, 0x0083,
    391   0x0100, 0x0130, 0x0153, 0x017c, 0x007e, 0x0080, 0x0082, 0x0089,
    392   0x0105, 0x0131, 0x0154, 0x007d, 0x007f, 0x0081, 0x0088, 0x00b4,
    393   0x0106, 0x0132, 0x0055, 0x007e, 0x0080, 0x0087, 0x00b3, 0x00d6,
    394   0x0107, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0x00d5, 0x00fe,
    395   0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0x00fd, 0x00ff,
    396   0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0x00fe, 0x0100,
    397   0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0x00ff, 0x0101,
    398   0x0010, 0x0066, 0x00aa, 0x00fa, 0x00fc, 0x00fe, 0x0100, 0x0102,
    399 };
    400 const unsigned kExpectedCount_NEON_uaddl_8H = 361;
    401 
    402 #endif  // VIXL_SIM_UADDL_8H_TRACE_A64_H_
    403