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_SADDL2_8H_TRACE_A64_H_
     35 #define VIXL_SIM_SADDL2_8H_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_saddl2_8H[] = {
     38   0xff06, 0xff54, 0xff98, 0xfff0, 0xfffa, 0xfffc, 0xfffe, 0x0000,
     39   0xff2d, 0xff76, 0xffc4, 0xfff5, 0xfffb, 0xfffd, 0xffff, 0x0001,
     40   0xff4f, 0xffa2, 0xffc9, 0xfff6, 0xfffc, 0xfffe, 0x0000, 0x0002,
     41   0xff7b, 0xffa7, 0xffca, 0xfff7, 0xfffd, 0xffff, 0x0001, 0x0008,
     42   0xff80, 0xffa8, 0xffcb, 0xfff8, 0xfffe, 0x0000, 0x0007, 0x0033,
     43   0xff81, 0xffa9, 0xffcc, 0xfff9, 0xffff, 0x0006, 0x0032, 0x0055,
     44   0xff82, 0xffaa, 0xffcd, 0xfffa, 0x0005, 0x0031, 0x0054, 0x007d,
     45   0xff83, 0xffab, 0xffce, 0x0000, 0x0030, 0x0053, 0x007c, 0x007e,
     46   0xff84, 0xffac, 0xffd4, 0x002b, 0x0052, 0x007b, 0x007d, 0x007f,
     47   0xff85, 0xffb2, 0xffff, 0x004d, 0x007a, 0x007c, 0x007e, 0xff80,
     48   0xff8b, 0xffdd, 0x0021, 0x0075, 0x007b, 0x007d, 0xff7f, 0xff81,
     49   0xffb6, 0xffff, 0x0049, 0x0076, 0x007c, 0xff7e, 0xff80, 0xff82,
     50   0xffd8, 0x0027, 0x004a, 0x0077, 0xff7d, 0xff7f, 0xff81, 0xff83,
     51   0x0000, 0x0028, 0x004b, 0xff78, 0xff7e, 0xff80, 0xff82, 0xffaa,
     52   0x0001, 0x0029, 0xff4c, 0xff79, 0xff7f, 0xff81, 0xffa9, 0xffcc,
     53   0x0002, 0xff2a, 0xff4d, 0xff7a, 0xff80, 0xffa8, 0xffcb, 0xfff8,
     54   0xff03, 0xff2b, 0xff4e, 0xff7b, 0xffa7, 0xffca, 0xfff7, 0xfffd,
     55   0xff04, 0xff2c, 0xff4f, 0xffa2, 0xffc9, 0xfff6, 0xfffc, 0xfffe,
     56   0xff05, 0xff2d, 0xff76, 0xffc4, 0xfff5, 0xfffb, 0xfffd, 0xffff,
     57   0xff2d, 0xff76, 0xffc4, 0xfff5, 0xfffb, 0xfffd, 0xffff, 0x0001,
     58   0xff54, 0xff98, 0xfff0, 0xfffa, 0xfffc, 0xfffe, 0x0000, 0x0002,
     59   0xff76, 0xffc4, 0xfff5, 0xfffb, 0xfffd, 0xffff, 0x0001, 0x0003,
     60   0xffa2, 0xffc9, 0xfff6, 0xfffc, 0xfffe, 0x0000, 0x0002, 0x0009,
     61   0xffa7, 0xffca, 0xfff7, 0xfffd, 0xffff, 0x0001, 0x0008, 0x0034,
     62   0xffa8, 0xffcb, 0xfff8, 0xfffe, 0x0000, 0x0007, 0x0033, 0x0056,
     63   0xffa9, 0xffcc, 0xfff9, 0xffff, 0x0006, 0x0032, 0x0055, 0x007e,
     64   0xffaa, 0xffcd, 0xfffa, 0x0005, 0x0031, 0x0054, 0x007d, 0x007f,
     65   0xffab, 0xffce, 0x0000, 0x0030, 0x0053, 0x007c, 0x007e, 0x0080,
     66   0xffac, 0xffd4, 0x002b, 0x0052, 0x007b, 0x007d, 0x007f, 0xff81,
     67   0xffb2, 0xffff, 0x004d, 0x007a, 0x007c, 0x007e, 0xff80, 0xff82,
     68   0xffdd, 0x0021, 0x0075, 0x007b, 0x007d, 0xff7f, 0xff81, 0xff83,
     69   0xffff, 0x0049, 0x0076, 0x007c, 0xff7e, 0xff80, 0xff82, 0xff84,
     70   0x0027, 0x004a, 0x0077, 0xff7d, 0xff7f, 0xff81, 0xff83, 0xffab,
     71   0x0028, 0x004b, 0xff78, 0xff7e, 0xff80, 0xff82, 0xffaa, 0xffcd,
     72   0x0029, 0xff4c, 0xff79, 0xff7f, 0xff81, 0xffa9, 0xffcc, 0xfff9,
     73   0xff2a, 0xff4d, 0xff7a, 0xff80, 0xffa8, 0xffcb, 0xfff8, 0xfffe,
     74   0xff2b, 0xff4e, 0xff7b, 0xffa7, 0xffca, 0xfff7, 0xfffd, 0xffff,
     75   0xff2c, 0xff4f, 0xffa2, 0xffc9, 0xfff6, 0xfffc, 0xfffe, 0x0000,
     76   0xff4f, 0xffa2, 0xffc9, 0xfff6, 0xfffc, 0xfffe, 0x0000, 0x0002,
     77   0xff76, 0xffc4, 0xfff5, 0xfffb, 0xfffd, 0xffff, 0x0001, 0x0003,
     78   0xff98, 0xfff0, 0xfffa, 0xfffc, 0xfffe, 0x0000, 0x0002, 0x0004,
     79   0xffc4, 0xfff5, 0xfffb, 0xfffd, 0xffff, 0x0001, 0x0003, 0x000a,
     80   0xffc9, 0xfff6, 0xfffc, 0xfffe, 0x0000, 0x0002, 0x0009, 0x0035,
     81   0xffca, 0xfff7, 0xfffd, 0xffff, 0x0001, 0x0008, 0x0034, 0x0057,
     82   0xffcb, 0xfff8, 0xfffe, 0x0000, 0x0007, 0x0033, 0x0056, 0x007f,
     83   0xffcc, 0xfff9, 0xffff, 0x0006, 0x0032, 0x0055, 0x007e, 0x0080,
     84   0xffcd, 0xfffa, 0x0005, 0x0031, 0x0054, 0x007d, 0x007f, 0x0081,
     85   0xffce, 0x0000, 0x0030, 0x0053, 0x007c, 0x007e, 0x0080, 0xff82,
     86   0xffd4, 0x002b, 0x0052, 0x007b, 0x007d, 0x007f, 0xff81, 0xff83,
     87   0xffff, 0x004d, 0x007a, 0x007c, 0x007e, 0xff80, 0xff82, 0xff84,
     88   0x0021, 0x0075, 0x007b, 0x007d, 0xff7f, 0xff81, 0xff83, 0xff85,
     89   0x0049, 0x0076, 0x007c, 0xff7e, 0xff80, 0xff82, 0xff84, 0xffac,
     90   0x004a, 0x0077, 0xff7d, 0xff7f, 0xff81, 0xff83, 0xffab, 0xffce,
     91   0x004b, 0xff78, 0xff7e, 0xff80, 0xff82, 0xffaa, 0xffcd, 0xfffa,
     92   0xff4c, 0xff79, 0xff7f, 0xff81, 0xffa9, 0xffcc, 0xfff9, 0xffff,
     93   0xff4d, 0xff7a, 0xff80, 0xffa8, 0xffcb, 0xfff8, 0xfffe, 0x0000,
     94   0xff4e, 0xff7b, 0xffa7, 0xffca, 0xfff7, 0xfffd, 0xffff, 0x0001,
     95   0xff7b, 0xffa7, 0xffca, 0xfff7, 0xfffd, 0xffff, 0x0001, 0x0008,
     96   0xffa2, 0xffc9, 0xfff6, 0xfffc, 0xfffe, 0x0000, 0x0002, 0x0009,
     97   0xffc4, 0xfff5, 0xfffb, 0xfffd, 0xffff, 0x0001, 0x0003, 0x000a,
     98   0xfff0, 0xfffa, 0xfffc, 0xfffe, 0x0000, 0x0002, 0x0004, 0x0010,
     99   0xfff5, 0xfffb, 0xfffd, 0xffff, 0x0001, 0x0003, 0x000a, 0x003b,
    100   0xfff6, 0xfffc, 0xfffe, 0x0000, 0x0002, 0x0009, 0x0035, 0x005d,
    101   0xfff7, 0xfffd, 0xffff, 0x0001, 0x0008, 0x0034, 0x0057, 0x0085,
    102   0xfff8, 0xfffe, 0x0000, 0x0007, 0x0033, 0x0056, 0x007f, 0x0086,
    103   0xfff9, 0xffff, 0x0006, 0x0032, 0x0055, 0x007e, 0x0080, 0x0087,
    104   0xfffa, 0x0005, 0x0031, 0x0054, 0x007d, 0x007f, 0x0081, 0xff88,
    105   0x0000, 0x0030, 0x0053, 0x007c, 0x007e, 0x0080, 0xff82, 0xff89,
    106   0x002b, 0x0052, 0x007b, 0x007d, 0x007f, 0xff81, 0xff83, 0xff8a,
    107   0x004d, 0x007a, 0x007c, 0x007e, 0xff80, 0xff82, 0xff84, 0xff8b,
    108   0x0075, 0x007b, 0x007d, 0xff7f, 0xff81, 0xff83, 0xff85, 0xffb2,
    109   0x0076, 0x007c, 0xff7e, 0xff80, 0xff82, 0xff84, 0xffac, 0xffd4,
    110   0x0077, 0xff7d, 0xff7f, 0xff81, 0xff83, 0xffab, 0xffce, 0x0000,
    111   0xff78, 0xff7e, 0xff80, 0xff82, 0xffaa, 0xffcd, 0xfffa, 0x0005,
    112   0xff79, 0xff7f, 0xff81, 0xffa9, 0xffcc, 0xfff9, 0xffff, 0x0006,
    113   0xff7a, 0xff80, 0xffa8, 0xffcb, 0xfff8, 0xfffe, 0x0000, 0x0007,
    114   0xff80, 0xffa8, 0xffcb, 0xfff8, 0xfffe, 0x0000, 0x0007, 0x0033,
    115   0xffa7, 0xffca, 0xfff7, 0xfffd, 0xffff, 0x0001, 0x0008, 0x0034,
    116   0xffc9, 0xfff6, 0xfffc, 0xfffe, 0x0000, 0x0002, 0x0009, 0x0035,
    117   0xfff5, 0xfffb, 0xfffd, 0xffff, 0x0001, 0x0003, 0x000a, 0x003b,
    118   0xfffa, 0xfffc, 0xfffe, 0x0000, 0x0002, 0x0004, 0x0010, 0x0066,
    119   0xfffb, 0xfffd, 0xffff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088,
    120   0xfffc, 0xfffe, 0x0000, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0,
    121   0xfffd, 0xffff, 0x0001, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1,
    122   0xfffe, 0x0000, 0x0007, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2,
    123   0xffff, 0x0006, 0x0032, 0x0055, 0x007e, 0x0080, 0x0087, 0xffb3,
    124   0x0005, 0x0031, 0x0054, 0x007d, 0x007f, 0x0081, 0xff88, 0xffb4,
    125   0x0030, 0x0053, 0x007c, 0x007e, 0x0080, 0xff82, 0xff89, 0xffb5,
    126   0x0052, 0x007b, 0x007d, 0x007f, 0xff81, 0xff83, 0xff8a, 0xffb6,
    127   0x007a, 0x007c, 0x007e, 0xff80, 0xff82, 0xff84, 0xff8b, 0xffdd,
    128   0x007b, 0x007d, 0xff7f, 0xff81, 0xff83, 0xff85, 0xffb2, 0xffff,
    129   0x007c, 0xff7e, 0xff80, 0xff82, 0xff84, 0xffac, 0xffd4, 0x002b,
    130   0xff7d, 0xff7f, 0xff81, 0xff83, 0xffab, 0xffce, 0x0000, 0x0030,
    131   0xff7e, 0xff80, 0xff82, 0xffaa, 0xffcd, 0xfffa, 0x0005, 0x0031,
    132   0xff7f, 0xff81, 0xffa9, 0xffcc, 0xfff9, 0xffff, 0x0006, 0x0032,
    133   0xff81, 0xffa9, 0xffcc, 0xfff9, 0xffff, 0x0006, 0x0032, 0x0055,
    134   0xffa8, 0xffcb, 0xfff8, 0xfffe, 0x0000, 0x0007, 0x0033, 0x0056,
    135   0xffca, 0xfff7, 0xfffd, 0xffff, 0x0001, 0x0008, 0x0034, 0x0057,
    136   0xfff6, 0xfffc, 0xfffe, 0x0000, 0x0002, 0x0009, 0x0035, 0x005d,
    137   0xfffb, 0xfffd, 0xffff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088,
    138   0xfffc, 0xfffe, 0x0000, 0x0002, 0x0004, 0x0010, 0x0066, 0x00aa,
    139   0xfffd, 0xffff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2,
    140   0xfffe, 0x0000, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3,
    141   0xffff, 0x0001, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4,
    142   0x0000, 0x0007, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0xffd5,
    143   0x0006, 0x0032, 0x0055, 0x007e, 0x0080, 0x0087, 0xffb3, 0xffd6,
    144   0x0031, 0x0054, 0x007d, 0x007f, 0x0081, 0xff88, 0xffb4, 0xffd7,
    145   0x0053, 0x007c, 0x007e, 0x0080, 0xff82, 0xff89, 0xffb5, 0xffd8,
    146   0x007b, 0x007d, 0x007f, 0xff81, 0xff83, 0xff8a, 0xffb6, 0xffff,
    147   0x007c, 0x007e, 0xff80, 0xff82, 0xff84, 0xff8b, 0xffdd, 0x0021,
    148   0x007d, 0xff7f, 0xff81, 0xff83, 0xff85, 0xffb2, 0xffff, 0x004d,
    149   0xff7e, 0xff80, 0xff82, 0xff84, 0xffac, 0xffd4, 0x002b, 0x0052,
    150   0xff7f, 0xff81, 0xff83, 0xffab, 0xffce, 0x0000, 0x0030, 0x0053,
    151   0xff80, 0xff82, 0xffaa, 0xffcd, 0xfffa, 0x0005, 0x0031, 0x0054,
    152   0xff82, 0xffaa, 0xffcd, 0xfffa, 0x0005, 0x0031, 0x0054, 0x007d,
    153   0xffa9, 0xffcc, 0xfff9, 0xffff, 0x0006, 0x0032, 0x0055, 0x007e,
    154   0xffcb, 0xfff8, 0xfffe, 0x0000, 0x0007, 0x0033, 0x0056, 0x007f,
    155   0xfff7, 0xfffd, 0xffff, 0x0001, 0x0008, 0x0034, 0x0057, 0x0085,
    156   0xfffc, 0xfffe, 0x0000, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0,
    157   0xfffd, 0xffff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2,
    158   0xfffe, 0x0000, 0x0002, 0x0004, 0x0010, 0x0066, 0x00aa, 0x00fa,
    159   0xffff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb,
    160   0x0000, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc,
    161   0x0001, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0xfffd,
    162   0x0007, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0xffd5, 0xfffe,
    163   0x0032, 0x0055, 0x007e, 0x0080, 0x0087, 0xffb3, 0xffd6, 0xffff,
    164   0x0054, 0x007d, 0x007f, 0x0081, 0xff88, 0xffb4, 0xffd7, 0x0000,
    165   0x007c, 0x007e, 0x0080, 0xff82, 0xff89, 0xffb5, 0xffd8, 0x0027,
    166   0x007d, 0x007f, 0xff81, 0xff83, 0xff8a, 0xffb6, 0xffff, 0x0049,
    167   0x007e, 0xff80, 0xff82, 0xff84, 0xff8b, 0xffdd, 0x0021, 0x0075,
    168   0xff7f, 0xff81, 0xff83, 0xff85, 0xffb2, 0xffff, 0x004d, 0x007a,
    169   0xff80, 0xff82, 0xff84, 0xffac, 0xffd4, 0x002b, 0x0052, 0x007b,
    170   0xff81, 0xff83, 0xffab, 0xffce, 0x0000, 0x0030, 0x0053, 0x007c,
    171   0xff83, 0xffab, 0xffce, 0x0000, 0x0030, 0x0053, 0x007c, 0x007e,
    172   0xffaa, 0xffcd, 0xfffa, 0x0005, 0x0031, 0x0054, 0x007d, 0x007f,
    173   0xffcc, 0xfff9, 0xffff, 0x0006, 0x0032, 0x0055, 0x007e, 0x0080,
    174   0xfff8, 0xfffe, 0x0000, 0x0007, 0x0033, 0x0056, 0x007f, 0x0086,
    175   0xfffd, 0xffff, 0x0001, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1,
    176   0xfffe, 0x0000, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3,
    177   0xffff, 0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb,
    178   0x0000, 0x0002, 0x0004, 0x0010, 0x0066, 0x00aa, 0x00fa, 0x00fc,
    179   0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd,
    180   0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0xfffe,
    181   0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0xfffd, 0xffff,
    182   0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0xffd5, 0xfffe, 0x0000,
    183   0x0055, 0x007e, 0x0080, 0x0087, 0xffb3, 0xffd6, 0xffff, 0x0001,
    184   0x007d, 0x007f, 0x0081, 0xff88, 0xffb4, 0xffd7, 0x0000, 0x0028,
    185   0x007e, 0x0080, 0xff82, 0xff89, 0xffb5, 0xffd8, 0x0027, 0x004a,
    186   0x007f, 0xff81, 0xff83, 0xff8a, 0xffb6, 0xffff, 0x0049, 0x0076,
    187   0xff80, 0xff82, 0xff84, 0xff8b, 0xffdd, 0x0021, 0x0075, 0x007b,
    188   0xff81, 0xff83, 0xff85, 0xffb2, 0xffff, 0x004d, 0x007a, 0x007c,
    189   0xff82, 0xff84, 0xffac, 0xffd4, 0x002b, 0x0052, 0x007b, 0x007d,
    190   0xff84, 0xffac, 0xffd4, 0x002b, 0x0052, 0x007b, 0x007d, 0x007f,
    191   0xffab, 0xffce, 0x0000, 0x0030, 0x0053, 0x007c, 0x007e, 0x0080,
    192   0xffcd, 0xfffa, 0x0005, 0x0031, 0x0054, 0x007d, 0x007f, 0x0081,
    193   0xfff9, 0xffff, 0x0006, 0x0032, 0x0055, 0x007e, 0x0080, 0x0087,
    194   0xfffe, 0x0000, 0x0007, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2,
    195   0xffff, 0x0001, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4,
    196   0x0000, 0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc,
    197   0x0001, 0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd,
    198   0x0002, 0x0004, 0x0010, 0x0066, 0x00aa, 0x00fa, 0x00fc, 0x00fe,
    199   0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0xffff,
    200   0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0xfffe, 0x0000,
    201   0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0xfffd, 0xffff, 0x0001,
    202   0x0056, 0x007f, 0x0086, 0x00b2, 0xffd5, 0xfffe, 0x0000, 0x0002,
    203   0x007e, 0x0080, 0x0087, 0xffb3, 0xffd6, 0xffff, 0x0001, 0x0029,
    204   0x007f, 0x0081, 0xff88, 0xffb4, 0xffd7, 0x0000, 0x0028, 0x004b,
    205   0x0080, 0xff82, 0xff89, 0xffb5, 0xffd8, 0x0027, 0x004a, 0x0077,
    206   0xff81, 0xff83, 0xff8a, 0xffb6, 0xffff, 0x0049, 0x0076, 0x007c,
    207   0xff82, 0xff84, 0xff8b, 0xffdd, 0x0021, 0x0075, 0x007b, 0x007d,
    208   0xff83, 0xff85, 0xffb2, 0xffff, 0x004d, 0x007a, 0x007c, 0x007e,
    209   0xff85, 0xffb2, 0xffff, 0x004d, 0x007a, 0x007c, 0x007e, 0xff80,
    210   0xffac, 0xffd4, 0x002b, 0x0052, 0x007b, 0x007d, 0x007f, 0xff81,
    211   0xffce, 0x0000, 0x0030, 0x0053, 0x007c, 0x007e, 0x0080, 0xff82,
    212   0xfffa, 0x0005, 0x0031, 0x0054, 0x007d, 0x007f, 0x0081, 0xff88,
    213   0xffff, 0x0006, 0x0032, 0x0055, 0x007e, 0x0080, 0x0087, 0xffb3,
    214   0x0000, 0x0007, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0xffd5,
    215   0x0001, 0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0xfffd,
    216   0x0002, 0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0xfffe,
    217   0x0003, 0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0xffff,
    218   0x0004, 0x0010, 0x0066, 0x00aa, 0x00fa, 0x00fc, 0x00fe, 0xff00,
    219   0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0xffff, 0xff01,
    220   0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0xfffe, 0x0000, 0xff02,
    221   0x0057, 0x0085, 0x00b1, 0x00d4, 0xfffd, 0xffff, 0x0001, 0xff03,
    222   0x007f, 0x0086, 0x00b2, 0xffd5, 0xfffe, 0x0000, 0x0002, 0xff2a,
    223   0x0080, 0x0087, 0xffb3, 0xffd6, 0xffff, 0x0001, 0x0029, 0xff4c,
    224   0x0081, 0xff88, 0xffb4, 0xffd7, 0x0000, 0x0028, 0x004b, 0xff78,
    225   0xff82, 0xff89, 0xffb5, 0xffd8, 0x0027, 0x004a, 0x0077, 0xff7d,
    226   0xff83, 0xff8a, 0xffb6, 0xffff, 0x0049, 0x0076, 0x007c, 0xff7e,
    227   0xff84, 0xff8b, 0xffdd, 0x0021, 0x0075, 0x007b, 0x007d, 0xff7f,
    228   0xff8b, 0xffdd, 0x0021, 0x0075, 0x007b, 0x007d, 0xff7f, 0xff81,
    229   0xffb2, 0xffff, 0x004d, 0x007a, 0x007c, 0x007e, 0xff80, 0xff82,
    230   0xffd4, 0x002b, 0x0052, 0x007b, 0x007d, 0x007f, 0xff81, 0xff83,
    231   0x0000, 0x0030, 0x0053, 0x007c, 0x007e, 0x0080, 0xff82, 0xff89,
    232   0x0005, 0x0031, 0x0054, 0x007d, 0x007f, 0x0081, 0xff88, 0xffb4,
    233   0x0006, 0x0032, 0x0055, 0x007e, 0x0080, 0x0087, 0xffb3, 0xffd6,
    234   0x0007, 0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0xffd5, 0xfffe,
    235   0x0008, 0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0xfffd, 0xffff,
    236   0x0009, 0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0xfffe, 0x0000,
    237   0x000a, 0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0xffff, 0xff01,
    238   0x0010, 0x0066, 0x00aa, 0x00fa, 0x00fc, 0x00fe, 0xff00, 0xff02,
    239   0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0xffff, 0xff01, 0xff03,
    240   0x005d, 0x00b0, 0x00d3, 0x00fc, 0xfffe, 0x0000, 0xff02, 0xff04,
    241   0x0085, 0x00b1, 0x00d4, 0xfffd, 0xffff, 0x0001, 0xff03, 0xff2b,
    242   0x0086, 0x00b2, 0xffd5, 0xfffe, 0x0000, 0x0002, 0xff2a, 0xff4d,
    243   0x0087, 0xffb3, 0xffd6, 0xffff, 0x0001, 0x0029, 0xff4c, 0xff79,
    244   0xff88, 0xffb4, 0xffd7, 0x0000, 0x0028, 0x004b, 0xff78, 0xff7e,
    245   0xff89, 0xffb5, 0xffd8, 0x0027, 0x004a, 0x0077, 0xff7d, 0xff7f,
    246   0xff8a, 0xffb6, 0xffff, 0x0049, 0x0076, 0x007c, 0xff7e, 0xff80,
    247   0xffb6, 0xffff, 0x0049, 0x0076, 0x007c, 0xff7e, 0xff80, 0xff82,
    248   0xffdd, 0x0021, 0x0075, 0x007b, 0x007d, 0xff7f, 0xff81, 0xff83,
    249   0xffff, 0x004d, 0x007a, 0x007c, 0x007e, 0xff80, 0xff82, 0xff84,
    250   0x002b, 0x0052, 0x007b, 0x007d, 0x007f, 0xff81, 0xff83, 0xff8a,
    251   0x0030, 0x0053, 0x007c, 0x007e, 0x0080, 0xff82, 0xff89, 0xffb5,
    252   0x0031, 0x0054, 0x007d, 0x007f, 0x0081, 0xff88, 0xffb4, 0xffd7,
    253   0x0032, 0x0055, 0x007e, 0x0080, 0x0087, 0xffb3, 0xffd6, 0xffff,
    254   0x0033, 0x0056, 0x007f, 0x0086, 0x00b2, 0xffd5, 0xfffe, 0x0000,
    255   0x0034, 0x0057, 0x0085, 0x00b1, 0x00d4, 0xfffd, 0xffff, 0x0001,
    256   0x0035, 0x005d, 0x00b0, 0x00d3, 0x00fc, 0xfffe, 0x0000, 0xff02,
    257   0x003b, 0x0088, 0x00d2, 0x00fb, 0x00fd, 0xffff, 0xff01, 0xff03,
    258   0x0066, 0x00aa, 0x00fa, 0x00fc, 0x00fe, 0xff00, 0xff02, 0xff04,
    259   0x0088, 0x00d2, 0x00fb, 0x00fd, 0xffff, 0xff01, 0xff03, 0xff05,
    260   0x00b0, 0x00d3, 0x00fc, 0xfffe, 0x0000, 0xff02, 0xff04, 0xff2c,
    261   0x00b1, 0x00d4, 0xfffd, 0xffff, 0x0001, 0xff03, 0xff2b, 0xff4e,
    262   0x00b2, 0xffd5, 0xfffe, 0x0000, 0x0002, 0xff2a, 0xff4d, 0xff7a,
    263   0xffb3, 0xffd6, 0xffff, 0x0001, 0x0029, 0xff4c, 0xff79, 0xff7f,
    264   0xffb4, 0xffd7, 0x0000, 0x0028, 0x004b, 0xff78, 0xff7e, 0xff80,
    265   0xffb5, 0xffd8, 0x0027, 0x004a, 0x0077, 0xff7d, 0xff7f, 0xff81,
    266   0xffd8, 0x0027, 0x004a, 0x0077, 0xff7d, 0xff7f, 0xff81, 0xff83,
    267   0xffff, 0x0049, 0x0076, 0x007c, 0xff7e, 0xff80, 0xff82, 0xff84,
    268   0x0021, 0x0075, 0x007b, 0x007d, 0xff7f, 0xff81, 0xff83, 0xff85,
    269   0x004d, 0x007a, 0x007c, 0x007e, 0xff80, 0xff82, 0xff84, 0xff8b,
    270   0x0052, 0x007b, 0x007d, 0x007f, 0xff81, 0xff83, 0xff8a, 0xffb6,
    271   0x0053, 0x007c, 0x007e, 0x0080, 0xff82, 0xff89, 0xffb5, 0xffd8,
    272   0x0054, 0x007d, 0x007f, 0x0081, 0xff88, 0xffb4, 0xffd7, 0x0000,
    273   0x0055, 0x007e, 0x0080, 0x0087, 0xffb3, 0xffd6, 0xffff, 0x0001,
    274   0x0056, 0x007f, 0x0086, 0x00b2, 0xffd5, 0xfffe, 0x0000, 0x0002,
    275   0x0057, 0x0085, 0x00b1, 0x00d4, 0xfffd, 0xffff, 0x0001, 0xff03,
    276   0x005d, 0x00b0, 0x00d3, 0x00fc, 0xfffe, 0x0000, 0xff02, 0xff04,
    277   0x0088, 0x00d2, 0x00fb, 0x00fd, 0xffff, 0xff01, 0xff03, 0xff05,
    278   0x00aa, 0x00fa, 0x00fc, 0x00fe, 0xff00, 0xff02, 0xff04, 0xff06,
    279   0x00d2, 0x00fb, 0x00fd, 0xffff, 0xff01, 0xff03, 0xff05, 0xff2d,
    280   0x00d3, 0x00fc, 0xfffe, 0x0000, 0xff02, 0xff04, 0xff2c, 0xff4f,
    281   0x00d4, 0xfffd, 0xffff, 0x0001, 0xff03, 0xff2b, 0xff4e, 0xff7b,
    282   0xffd5, 0xfffe, 0x0000, 0x0002, 0xff2a, 0xff4d, 0xff7a, 0xff80,
    283   0xffd6, 0xffff, 0x0001, 0x0029, 0xff4c, 0xff79, 0xff7f, 0xff81,
    284   0xffd7, 0x0000, 0x0028, 0x004b, 0xff78, 0xff7e, 0xff80, 0xff82,
    285   0x0000, 0x0028, 0x004b, 0xff78, 0xff7e, 0xff80, 0xff82, 0xffaa,
    286   0x0027, 0x004a, 0x0077, 0xff7d, 0xff7f, 0xff81, 0xff83, 0xffab,
    287   0x0049, 0x0076, 0x007c, 0xff7e, 0xff80, 0xff82, 0xff84, 0xffac,
    288   0x0075, 0x007b, 0x007d, 0xff7f, 0xff81, 0xff83, 0xff85, 0xffb2,
    289   0x007a, 0x007c, 0x007e, 0xff80, 0xff82, 0xff84, 0xff8b, 0xffdd,
    290   0x007b, 0x007d, 0x007f, 0xff81, 0xff83, 0xff8a, 0xffb6, 0xffff,
    291   0x007c, 0x007e, 0x0080, 0xff82, 0xff89, 0xffb5, 0xffd8, 0x0027,
    292   0x007d, 0x007f, 0x0081, 0xff88, 0xffb4, 0xffd7, 0x0000, 0x0028,
    293   0x007e, 0x0080, 0x0087, 0xffb3, 0xffd6, 0xffff, 0x0001, 0x0029,
    294   0x007f, 0x0086, 0x00b2, 0xffd5, 0xfffe, 0x0000, 0x0002, 0xff2a,
    295   0x0085, 0x00b1, 0x00d4, 0xfffd, 0xffff, 0x0001, 0xff03, 0xff2b,
    296   0x00b0, 0x00d3, 0x00fc, 0xfffe, 0x0000, 0xff02, 0xff04, 0xff2c,
    297   0x00d2, 0x00fb, 0x00fd, 0xffff, 0xff01, 0xff03, 0xff05, 0xff2d,
    298   0x00fa, 0x00fc, 0x00fe, 0xff00, 0xff02, 0xff04, 0xff06, 0xff54,
    299   0x00fb, 0x00fd, 0xffff, 0xff01, 0xff03, 0xff05, 0xff2d, 0xff76,
    300   0x00fc, 0xfffe, 0x0000, 0xff02, 0xff04, 0xff2c, 0xff4f, 0xffa2,
    301   0xfffd, 0xffff, 0x0001, 0xff03, 0xff2b, 0xff4e, 0xff7b, 0xffa7,
    302   0xfffe, 0x0000, 0x0002, 0xff2a, 0xff4d, 0xff7a, 0xff80, 0xffa8,
    303   0xffff, 0x0001, 0x0029, 0xff4c, 0xff79, 0xff7f, 0xff81, 0xffa9,
    304   0x0001, 0x0029, 0xff4c, 0xff79, 0xff7f, 0xff81, 0xffa9, 0xffcc,
    305   0x0028, 0x004b, 0xff78, 0xff7e, 0xff80, 0xff82, 0xffaa, 0xffcd,
    306   0x004a, 0x0077, 0xff7d, 0xff7f, 0xff81, 0xff83, 0xffab, 0xffce,
    307   0x0076, 0x007c, 0xff7e, 0xff80, 0xff82, 0xff84, 0xffac, 0xffd4,
    308   0x007b, 0x007d, 0xff7f, 0xff81, 0xff83, 0xff85, 0xffb2, 0xffff,
    309   0x007c, 0x007e, 0xff80, 0xff82, 0xff84, 0xff8b, 0xffdd, 0x0021,
    310   0x007d, 0x007f, 0xff81, 0xff83, 0xff8a, 0xffb6, 0xffff, 0x0049,
    311   0x007e, 0x0080, 0xff82, 0xff89, 0xffb5, 0xffd8, 0x0027, 0x004a,
    312   0x007f, 0x0081, 0xff88, 0xffb4, 0xffd7, 0x0000, 0x0028, 0x004b,
    313   0x0080, 0x0087, 0xffb3, 0xffd6, 0xffff, 0x0001, 0x0029, 0xff4c,
    314   0x0086, 0x00b2, 0xffd5, 0xfffe, 0x0000, 0x0002, 0xff2a, 0xff4d,
    315   0x00b1, 0x00d4, 0xfffd, 0xffff, 0x0001, 0xff03, 0xff2b, 0xff4e,
    316   0x00d3, 0x00fc, 0xfffe, 0x0000, 0xff02, 0xff04, 0xff2c, 0xff4f,
    317   0x00fb, 0x00fd, 0xffff, 0xff01, 0xff03, 0xff05, 0xff2d, 0xff76,
    318   0x00fc, 0x00fe, 0xff00, 0xff02, 0xff04, 0xff06, 0xff54, 0xff98,
    319   0x00fd, 0xffff, 0xff01, 0xff03, 0xff05, 0xff2d, 0xff76, 0xffc4,
    320   0xfffe, 0x0000, 0xff02, 0xff04, 0xff2c, 0xff4f, 0xffa2, 0xffc9,
    321   0xffff, 0x0001, 0xff03, 0xff2b, 0xff4e, 0xff7b, 0xffa7, 0xffca,
    322   0x0000, 0x0002, 0xff2a, 0xff4d, 0xff7a, 0xff80, 0xffa8, 0xffcb,
    323   0x0002, 0xff2a, 0xff4d, 0xff7a, 0xff80, 0xffa8, 0xffcb, 0xfff8,
    324   0x0029, 0xff4c, 0xff79, 0xff7f, 0xff81, 0xffa9, 0xffcc, 0xfff9,
    325   0x004b, 0xff78, 0xff7e, 0xff80, 0xff82, 0xffaa, 0xffcd, 0xfffa,
    326   0x0077, 0xff7d, 0xff7f, 0xff81, 0xff83, 0xffab, 0xffce, 0x0000,
    327   0x007c, 0xff7e, 0xff80, 0xff82, 0xff84, 0xffac, 0xffd4, 0x002b,
    328   0x007d, 0xff7f, 0xff81, 0xff83, 0xff85, 0xffb2, 0xffff, 0x004d,
    329   0x007e, 0xff80, 0xff82, 0xff84, 0xff8b, 0xffdd, 0x0021, 0x0075,
    330   0x007f, 0xff81, 0xff83, 0xff8a, 0xffb6, 0xffff, 0x0049, 0x0076,
    331   0x0080, 0xff82, 0xff89, 0xffb5, 0xffd8, 0x0027, 0x004a, 0x0077,
    332   0x0081, 0xff88, 0xffb4, 0xffd7, 0x0000, 0x0028, 0x004b, 0xff78,
    333   0x0087, 0xffb3, 0xffd6, 0xffff, 0x0001, 0x0029, 0xff4c, 0xff79,
    334   0x00b2, 0xffd5, 0xfffe, 0x0000, 0x0002, 0xff2a, 0xff4d, 0xff7a,
    335   0x00d4, 0xfffd, 0xffff, 0x0001, 0xff03, 0xff2b, 0xff4e, 0xff7b,
    336   0x00fc, 0xfffe, 0x0000, 0xff02, 0xff04, 0xff2c, 0xff4f, 0xffa2,
    337   0x00fd, 0xffff, 0xff01, 0xff03, 0xff05, 0xff2d, 0xff76, 0xffc4,
    338   0x00fe, 0xff00, 0xff02, 0xff04, 0xff06, 0xff54, 0xff98, 0xfff0,
    339   0xffff, 0xff01, 0xff03, 0xff05, 0xff2d, 0xff76, 0xffc4, 0xfff5,
    340   0x0000, 0xff02, 0xff04, 0xff2c, 0xff4f, 0xffa2, 0xffc9, 0xfff6,
    341   0x0001, 0xff03, 0xff2b, 0xff4e, 0xff7b, 0xffa7, 0xffca, 0xfff7,
    342   0xff03, 0xff2b, 0xff4e, 0xff7b, 0xffa7, 0xffca, 0xfff7, 0xfffd,
    343   0xff2a, 0xff4d, 0xff7a, 0xff80, 0xffa8, 0xffcb, 0xfff8, 0xfffe,
    344   0xff4c, 0xff79, 0xff7f, 0xff81, 0xffa9, 0xffcc, 0xfff9, 0xffff,
    345   0xff78, 0xff7e, 0xff80, 0xff82, 0xffaa, 0xffcd, 0xfffa, 0x0005,
    346   0xff7d, 0xff7f, 0xff81, 0xff83, 0xffab, 0xffce, 0x0000, 0x0030,
    347   0xff7e, 0xff80, 0xff82, 0xff84, 0xffac, 0xffd4, 0x002b, 0x0052,
    348   0xff7f, 0xff81, 0xff83, 0xff85, 0xffb2, 0xffff, 0x004d, 0x007a,
    349   0xff80, 0xff82, 0xff84, 0xff8b, 0xffdd, 0x0021, 0x0075, 0x007b,
    350   0xff81, 0xff83, 0xff8a, 0xffb6, 0xffff, 0x0049, 0x0076, 0x007c,
    351   0xff82, 0xff89, 0xffb5, 0xffd8, 0x0027, 0x004a, 0x0077, 0xff7d,
    352   0xff88, 0xffb4, 0xffd7, 0x0000, 0x0028, 0x004b, 0xff78, 0xff7e,
    353   0xffb3, 0xffd6, 0xffff, 0x0001, 0x0029, 0xff4c, 0xff79, 0xff7f,
    354   0xffd5, 0xfffe, 0x0000, 0x0002, 0xff2a, 0xff4d, 0xff7a, 0xff80,
    355   0xfffd, 0xffff, 0x0001, 0xff03, 0xff2b, 0xff4e, 0xff7b, 0xffa7,
    356   0xfffe, 0x0000, 0xff02, 0xff04, 0xff2c, 0xff4f, 0xffa2, 0xffc9,
    357   0xffff, 0xff01, 0xff03, 0xff05, 0xff2d, 0xff76, 0xffc4, 0xfff5,
    358   0xff00, 0xff02, 0xff04, 0xff06, 0xff54, 0xff98, 0xfff0, 0xfffa,
    359   0xff01, 0xff03, 0xff05, 0xff2d, 0xff76, 0xffc4, 0xfff5, 0xfffb,
    360   0xff02, 0xff04, 0xff2c, 0xff4f, 0xffa2, 0xffc9, 0xfff6, 0xfffc,
    361   0xff04, 0xff2c, 0xff4f, 0xffa2, 0xffc9, 0xfff6, 0xfffc, 0xfffe,
    362   0xff2b, 0xff4e, 0xff7b, 0xffa7, 0xffca, 0xfff7, 0xfffd, 0xffff,
    363   0xff4d, 0xff7a, 0xff80, 0xffa8, 0xffcb, 0xfff8, 0xfffe, 0x0000,
    364   0xff79, 0xff7f, 0xff81, 0xffa9, 0xffcc, 0xfff9, 0xffff, 0x0006,
    365   0xff7e, 0xff80, 0xff82, 0xffaa, 0xffcd, 0xfffa, 0x0005, 0x0031,
    366   0xff7f, 0xff81, 0xff83, 0xffab, 0xffce, 0x0000, 0x0030, 0x0053,
    367   0xff80, 0xff82, 0xff84, 0xffac, 0xffd4, 0x002b, 0x0052, 0x007b,
    368   0xff81, 0xff83, 0xff85, 0xffb2, 0xffff, 0x004d, 0x007a, 0x007c,
    369   0xff82, 0xff84, 0xff8b, 0xffdd, 0x0021, 0x0075, 0x007b, 0x007d,
    370   0xff83, 0xff8a, 0xffb6, 0xffff, 0x0049, 0x0076, 0x007c, 0xff7e,
    371   0xff89, 0xffb5, 0xffd8, 0x0027, 0x004a, 0x0077, 0xff7d, 0xff7f,
    372   0xffb4, 0xffd7, 0x0000, 0x0028, 0x004b, 0xff78, 0xff7e, 0xff80,
    373   0xffd6, 0xffff, 0x0001, 0x0029, 0xff4c, 0xff79, 0xff7f, 0xff81,
    374   0xfffe, 0x0000, 0x0002, 0xff2a, 0xff4d, 0xff7a, 0xff80, 0xffa8,
    375   0xffff, 0x0001, 0xff03, 0xff2b, 0xff4e, 0xff7b, 0xffa7, 0xffca,
    376   0x0000, 0xff02, 0xff04, 0xff2c, 0xff4f, 0xffa2, 0xffc9, 0xfff6,
    377   0xff01, 0xff03, 0xff05, 0xff2d, 0xff76, 0xffc4, 0xfff5, 0xfffb,
    378   0xff02, 0xff04, 0xff06, 0xff54, 0xff98, 0xfff0, 0xfffa, 0xfffc,
    379   0xff03, 0xff05, 0xff2d, 0xff76, 0xffc4, 0xfff5, 0xfffb, 0xfffd,
    380   0xff05, 0xff2d, 0xff76, 0xffc4, 0xfff5, 0xfffb, 0xfffd, 0xffff,
    381   0xff2c, 0xff4f, 0xffa2, 0xffc9, 0xfff6, 0xfffc, 0xfffe, 0x0000,
    382   0xff4e, 0xff7b, 0xffa7, 0xffca, 0xfff7, 0xfffd, 0xffff, 0x0001,
    383   0xff7a, 0xff80, 0xffa8, 0xffcb, 0xfff8, 0xfffe, 0x0000, 0x0007,
    384   0xff7f, 0xff81, 0xffa9, 0xffcc, 0xfff9, 0xffff, 0x0006, 0x0032,
    385   0xff80, 0xff82, 0xffaa, 0xffcd, 0xfffa, 0x0005, 0x0031, 0x0054,
    386   0xff81, 0xff83, 0xffab, 0xffce, 0x0000, 0x0030, 0x0053, 0x007c,
    387   0xff82, 0xff84, 0xffac, 0xffd4, 0x002b, 0x0052, 0x007b, 0x007d,
    388   0xff83, 0xff85, 0xffb2, 0xffff, 0x004d, 0x007a, 0x007c, 0x007e,
    389   0xff84, 0xff8b, 0xffdd, 0x0021, 0x0075, 0x007b, 0x007d, 0xff7f,
    390   0xff8a, 0xffb6, 0xffff, 0x0049, 0x0076, 0x007c, 0xff7e, 0xff80,
    391   0xffb5, 0xffd8, 0x0027, 0x004a, 0x0077, 0xff7d, 0xff7f, 0xff81,
    392   0xffd7, 0x0000, 0x0028, 0x004b, 0xff78, 0xff7e, 0xff80, 0xff82,
    393   0xffff, 0x0001, 0x0029, 0xff4c, 0xff79, 0xff7f, 0xff81, 0xffa9,
    394   0x0000, 0x0002, 0xff2a, 0xff4d, 0xff7a, 0xff80, 0xffa8, 0xffcb,
    395   0x0001, 0xff03, 0xff2b, 0xff4e, 0xff7b, 0xffa7, 0xffca, 0xfff7,
    396   0xff02, 0xff04, 0xff2c, 0xff4f, 0xffa2, 0xffc9, 0xfff6, 0xfffc,
    397   0xff03, 0xff05, 0xff2d, 0xff76, 0xffc4, 0xfff5, 0xfffb, 0xfffd,
    398   0xff04, 0xff06, 0xff54, 0xff98, 0xfff0, 0xfffa, 0xfffc, 0xfffe,
    399 };
    400 const unsigned kExpectedCount_NEON_saddl2_8H = 361;
    401 
    402 #endif  // VIXL_SIM_SADDL2_8H_TRACE_A64_H_
    403