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_UABAL_8H_TRACE_A64_H_
     35 #define VIXL_SIM_UABAL_8H_TRACE_A64_H_
     36 
     37 const uint16_t kExpected_NEON_uabal_8H[] = {
     38   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
     39   0x0022, 0x0029, 0x0003, 0x0011, 0x007e, 0x007f, 0x0080, 0x3334,
     40   0x004a, 0x002a, 0x0004, 0x0012, 0x007f, 0x0080, 0x0081, 0x335b,
     41   0x004b, 0x002b, 0x0005, 0x0013, 0x0080, 0x0081, 0x00a8, 0x337d,
     42   0x004c, 0x002c, 0x0006, 0x0014, 0x0081, 0x00a8, 0x00ca, 0x33a9,
     43   0x004d, 0x002d, 0x0007, 0x0015, 0x00a8, 0x00ca, 0x00f6, 0x33ae,
     44   0x004e, 0x002e, 0x0008, 0x003c, 0x00ca, 0x00f6, 0x00fb, 0x33af,
     45   0x004f, 0x002f, 0x002f, 0x005e, 0x00f6, 0x00fb, 0x00fc, 0x33b0,
     46   0x0050, 0x0056, 0x0051, 0x008a, 0x00fb, 0x00fc, 0x00fd, 0x33b5,
     47   0x0077, 0x0078, 0x007d, 0x008f, 0x00fc, 0x00fd, 0x0100, 0x33b4,
     48   0x0099, 0x00a4, 0x0082, 0x0090, 0x00fd, 0x00fe, 0x00ff, 0x33b3,
     49   0x00c5, 0x00a9, 0x0083, 0x0091, 0x00fc, 0x00fd, 0x00fe, 0x33ad,
     50   0x00ca, 0x00aa, 0x0084, 0x008e, 0x00fb, 0x00fc, 0x00f8, 0x3382,
     51   0x00cb, 0x00ab, 0x007f, 0x008d, 0x00fa, 0x00f6, 0x00cd, 0x3360,
     52   0x00cc, 0x0056, 0x007e, 0x008c, 0x00f4, 0x00cb, 0x00ab, 0x3338,
     53   0x0033, 0x0055, 0x007d, 0x0086, 0x00c9, 0x00a9, 0x0083, 0x3337,
     54   0x0032, 0x0054, 0x0077, 0x005b, 0x00a7, 0x0081, 0x0082, 0x3336,
     55   0x0031, 0x004e, 0x004c, 0x0039, 0x007f, 0x0080, 0x0081, 0x3335,
     56   0x002b, 0x0023, 0x002a, 0x0011, 0x007e, 0x007f, 0x0080, 0x3334,
     57   0x0022, 0x0029, 0x0003, 0x0011, 0x007e, 0x007f, 0x0080, 0x3334,
     58   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
     59   0x0028, 0x0002, 0x0003, 0x0011, 0x007e, 0x007f, 0x0080, 0x335a,
     60   0x0029, 0x0003, 0x0004, 0x0012, 0x007f, 0x0080, 0x00a7, 0x337c,
     61   0x002a, 0x0004, 0x0005, 0x0013, 0x0080, 0x00a7, 0x00c9, 0x33a8,
     62   0x002b, 0x0005, 0x0006, 0x0014, 0x00a7, 0x00c9, 0x00f5, 0x33ad,
     63   0x002c, 0x0006, 0x0007, 0x003b, 0x00c9, 0x00f5, 0x00fa, 0x33ae,
     64   0x002d, 0x0007, 0x002e, 0x005d, 0x00f5, 0x00fa, 0x00fb, 0x33af,
     65   0x002e, 0x002e, 0x0050, 0x0089, 0x00fa, 0x00fb, 0x00fc, 0x33b6,
     66   0x0055, 0x0050, 0x007c, 0x008e, 0x00fb, 0x00fc, 0x0101, 0x33b5,
     67   0x0077, 0x007c, 0x0081, 0x008f, 0x00fc, 0x00ff, 0x0100, 0x33b4,
     68   0x00a3, 0x0081, 0x0082, 0x0090, 0x00fd, 0x00fe, 0x00ff, 0x33ae,
     69   0x00a8, 0x0082, 0x0083, 0x008f, 0x00fc, 0x00fd, 0x00f9, 0x3383,
     70   0x00a9, 0x0083, 0x0080, 0x008e, 0x00fb, 0x00f7, 0x00ce, 0x3361,
     71   0x00aa, 0x007e, 0x007f, 0x008d, 0x00f5, 0x00cc, 0x00ac, 0x3339,
     72   0x0055, 0x007d, 0x007e, 0x0087, 0x00ca, 0x00aa, 0x0084, 0x3338,
     73   0x0054, 0x007c, 0x0078, 0x005c, 0x00a8, 0x0082, 0x0083, 0x3337,
     74   0x0053, 0x0076, 0x004d, 0x003a, 0x0080, 0x0081, 0x0082, 0x3336,
     75   0x004d, 0x004b, 0x002b, 0x0012, 0x007f, 0x0080, 0x0081, 0x3335,
     76   0x004a, 0x002a, 0x0004, 0x0012, 0x007f, 0x0080, 0x0081, 0x335b,
     77   0x0028, 0x0002, 0x0003, 0x0011, 0x007e, 0x007f, 0x0080, 0x335a,
     78   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
     79   0x0001, 0x0002, 0x0003, 0x0011, 0x007e, 0x007f, 0x00a6, 0x3355,
     80   0x0002, 0x0003, 0x0004, 0x0012, 0x007f, 0x00a6, 0x00c8, 0x3381,
     81   0x0003, 0x0004, 0x0005, 0x0013, 0x00a6, 0x00c8, 0x00f4, 0x3386,
     82   0x0004, 0x0005, 0x0006, 0x003a, 0x00c8, 0x00f4, 0x00f9, 0x3387,
     83   0x0005, 0x0006, 0x002d, 0x005c, 0x00f4, 0x00f9, 0x00fa, 0x3388,
     84   0x0006, 0x002d, 0x004f, 0x0088, 0x00f9, 0x00fa, 0x00fb, 0x33dd,
     85   0x002d, 0x004f, 0x007b, 0x008d, 0x00fa, 0x00fb, 0x0102, 0x33dc,
     86   0x004f, 0x007b, 0x0080, 0x008e, 0x00fb, 0x0100, 0x0101, 0x33db,
     87   0x007b, 0x0080, 0x0081, 0x008f, 0x00fe, 0x00ff, 0x0100, 0x33d5,
     88   0x0080, 0x0081, 0x0082, 0x0090, 0x00fd, 0x00fe, 0x00fa, 0x33aa,
     89   0x0081, 0x0082, 0x0081, 0x008f, 0x00fc, 0x00f8, 0x00cf, 0x3388,
     90   0x0082, 0x007f, 0x0080, 0x008e, 0x00f6, 0x00cd, 0x00ad, 0x3360,
     91   0x007d, 0x007e, 0x007f, 0x0088, 0x00cb, 0x00ab, 0x0085, 0x335f,
     92   0x007c, 0x007d, 0x0079, 0x005d, 0x00a9, 0x0083, 0x0084, 0x335e,
     93   0x007b, 0x0077, 0x004e, 0x003b, 0x0081, 0x0082, 0x0083, 0x335d,
     94   0x0075, 0x004c, 0x002c, 0x0013, 0x0080, 0x0081, 0x0082, 0x335c,
     95   0x004b, 0x002b, 0x0005, 0x0013, 0x0080, 0x0081, 0x00a8, 0x337d,
     96   0x0029, 0x0003, 0x0004, 0x0012, 0x007f, 0x0080, 0x00a7, 0x337c,
     97   0x0001, 0x0002, 0x0003, 0x0011, 0x007e, 0x007f, 0x00a6, 0x3355,
     98   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
     99   0x0001, 0x0002, 0x0003, 0x0011, 0x007e, 0x00a5, 0x00a1, 0x335f,
    100   0x0002, 0x0003, 0x0004, 0x0012, 0x00a5, 0x00c7, 0x00cd, 0x3364,
    101   0x0003, 0x0004, 0x0005, 0x0039, 0x00c7, 0x00f3, 0x00d2, 0x3365,
    102   0x0004, 0x0005, 0x002c, 0x005b, 0x00f3, 0x00f8, 0x00d3, 0x3366,
    103   0x0005, 0x002c, 0x004e, 0x0087, 0x00f8, 0x00f9, 0x00d4, 0x33ff,
    104   0x002c, 0x004e, 0x007a, 0x008c, 0x00f9, 0x00fa, 0x0129, 0x33fe,
    105   0x004e, 0x007a, 0x007f, 0x008d, 0x00fa, 0x0101, 0x0128, 0x33fd,
    106   0x007a, 0x007f, 0x0080, 0x008e, 0x00ff, 0x0100, 0x0127, 0x33f7,
    107   0x007f, 0x0080, 0x0081, 0x0091, 0x00fe, 0x00ff, 0x0121, 0x33cc,
    108   0x0080, 0x0081, 0x0082, 0x0090, 0x00fd, 0x00f9, 0x00f6, 0x33aa,
    109   0x0081, 0x0080, 0x0081, 0x008f, 0x00f7, 0x00ce, 0x00d4, 0x3382,
    110   0x007e, 0x007f, 0x0080, 0x0089, 0x00cc, 0x00ac, 0x00ac, 0x3381,
    111   0x007d, 0x007e, 0x007a, 0x005e, 0x00aa, 0x0084, 0x00ab, 0x3380,
    112   0x007c, 0x0078, 0x004f, 0x003c, 0x0082, 0x0083, 0x00aa, 0x337f,
    113   0x0076, 0x004d, 0x002d, 0x0014, 0x0081, 0x0082, 0x00a9, 0x337e,
    114   0x004c, 0x002c, 0x0006, 0x0014, 0x0081, 0x00a8, 0x00ca, 0x33a9,
    115   0x002a, 0x0004, 0x0005, 0x0013, 0x0080, 0x00a7, 0x00c9, 0x33a8,
    116   0x0002, 0x0003, 0x0004, 0x0012, 0x007f, 0x00a6, 0x00c8, 0x3381,
    117   0x0001, 0x0002, 0x0003, 0x0011, 0x007e, 0x00a5, 0x00a1, 0x335f,
    118   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    119   0x0001, 0x0002, 0x0003, 0x0011, 0x00a4, 0x00a0, 0x00ab, 0x3338,
    120   0x0002, 0x0003, 0x0004, 0x0038, 0x00c6, 0x00cc, 0x00b0, 0x3339,
    121   0x0003, 0x0004, 0x002b, 0x005a, 0x00f2, 0x00d1, 0x00b1, 0x333a,
    122   0x0004, 0x002b, 0x004d, 0x0086, 0x00f7, 0x00d2, 0x00b2, 0x342b,
    123   0x002b, 0x004d, 0x0079, 0x008b, 0x00f8, 0x00d3, 0x014b, 0x342a,
    124   0x004d, 0x0079, 0x007e, 0x008c, 0x00f9, 0x0128, 0x014a, 0x3429,
    125   0x0079, 0x007e, 0x007f, 0x008d, 0x0100, 0x0127, 0x0149, 0x3423,
    126   0x007e, 0x007f, 0x0080, 0x0092, 0x00ff, 0x0126, 0x0143, 0x33f8,
    127   0x007f, 0x0080, 0x0083, 0x0091, 0x00fe, 0x0120, 0x0118, 0x33d6,
    128   0x0080, 0x0081, 0x0082, 0x0090, 0x00f8, 0x00f5, 0x00f6, 0x33ae,
    129   0x007f, 0x0080, 0x0081, 0x008a, 0x00cd, 0x00d3, 0x00ce, 0x33ad,
    130   0x007e, 0x007f, 0x007b, 0x005f, 0x00ab, 0x00ab, 0x00cd, 0x33ac,
    131   0x007d, 0x0079, 0x0050, 0x003d, 0x0083, 0x00aa, 0x00cc, 0x33ab,
    132   0x0077, 0x004e, 0x002e, 0x0015, 0x0082, 0x00a9, 0x00cb, 0x33aa,
    133   0x004d, 0x002d, 0x0007, 0x0015, 0x00a8, 0x00ca, 0x00f6, 0x33ae,
    134   0x002b, 0x0005, 0x0006, 0x0014, 0x00a7, 0x00c9, 0x00f5, 0x33ad,
    135   0x0003, 0x0004, 0x0005, 0x0013, 0x00a6, 0x00c8, 0x00f4, 0x3386,
    136   0x0002, 0x0003, 0x0004, 0x0012, 0x00a5, 0x00c7, 0x00cd, 0x3364,
    137   0x0001, 0x0002, 0x0003, 0x0011, 0x00a4, 0x00a0, 0x00ab, 0x3338,
    138   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    139   0x0001, 0x0002, 0x0003, 0x0037, 0x009f, 0x00aa, 0x0084, 0x3334,
    140   0x0002, 0x0003, 0x002a, 0x0059, 0x00cb, 0x00af, 0x0085, 0x3335,
    141   0x0003, 0x002a, 0x004c, 0x0085, 0x00d0, 0x00b0, 0x0086, 0x3430,
    142   0x002a, 0x004c, 0x0078, 0x008a, 0x00d1, 0x00b1, 0x0177, 0x342f,
    143   0x004c, 0x0078, 0x007d, 0x008b, 0x00d2, 0x014a, 0x0176, 0x342e,
    144   0x0078, 0x007d, 0x007e, 0x008c, 0x0127, 0x0149, 0x0175, 0x3428,
    145   0x007d, 0x007e, 0x007f, 0x0093, 0x0126, 0x0148, 0x016f, 0x33fd,
    146   0x007e, 0x007f, 0x0084, 0x0092, 0x0125, 0x0142, 0x0144, 0x33db,
    147   0x007f, 0x0082, 0x0083, 0x0091, 0x011f, 0x0117, 0x0122, 0x33b3,
    148   0x0080, 0x0081, 0x0082, 0x008b, 0x00f4, 0x00f5, 0x00fa, 0x33b2,
    149   0x007f, 0x0080, 0x007c, 0x0060, 0x00d2, 0x00cd, 0x00f9, 0x33b1,
    150   0x007e, 0x007a, 0x0051, 0x003e, 0x00aa, 0x00cc, 0x00f8, 0x33b0,
    151   0x0078, 0x004f, 0x002f, 0x0016, 0x00a9, 0x00cb, 0x00f7, 0x33af,
    152   0x004e, 0x002e, 0x0008, 0x003c, 0x00ca, 0x00f6, 0x00fb, 0x33af,
    153   0x002c, 0x0006, 0x0007, 0x003b, 0x00c9, 0x00f5, 0x00fa, 0x33ae,
    154   0x0004, 0x0005, 0x0006, 0x003a, 0x00c8, 0x00f4, 0x00f9, 0x3387,
    155   0x0003, 0x0004, 0x0005, 0x0039, 0x00c7, 0x00f3, 0x00d2, 0x3365,
    156   0x0002, 0x0003, 0x0004, 0x0038, 0x00c6, 0x00cc, 0x00b0, 0x3339,
    157   0x0001, 0x0002, 0x0003, 0x0037, 0x009f, 0x00aa, 0x0084, 0x3334,
    158   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    159   0x0001, 0x0002, 0x0029, 0x0032, 0x00a9, 0x0083, 0x0080, 0x3334,
    160   0x0002, 0x0029, 0x004b, 0x005e, 0x00ae, 0x0084, 0x0081, 0x3431,
    161   0x0029, 0x004b, 0x0077, 0x0063, 0x00af, 0x0085, 0x017c, 0x3430,
    162   0x004b, 0x0077, 0x007c, 0x0064, 0x00b0, 0x0176, 0x017b, 0x342f,
    163   0x0077, 0x007c, 0x007d, 0x0065, 0x0149, 0x0175, 0x017a, 0x3429,
    164   0x007c, 0x007d, 0x007e, 0x00ba, 0x0148, 0x0174, 0x0174, 0x33fe,
    165   0x007d, 0x007e, 0x0085, 0x00b9, 0x0147, 0x016e, 0x0149, 0x33dc,
    166   0x007e, 0x0083, 0x0084, 0x00b8, 0x0141, 0x0143, 0x0127, 0x33b4,
    167   0x0081, 0x0082, 0x0083, 0x00b2, 0x0116, 0x0121, 0x00ff, 0x33b3,
    168   0x0080, 0x0081, 0x007d, 0x0087, 0x00f4, 0x00f9, 0x00fe, 0x33b2,
    169   0x007f, 0x007b, 0x0052, 0x0065, 0x00cc, 0x00f8, 0x00fd, 0x33b1,
    170   0x0079, 0x0050, 0x0030, 0x003d, 0x00cb, 0x00f7, 0x00fc, 0x33b0,
    171   0x004f, 0x002f, 0x002f, 0x005e, 0x00f6, 0x00fb, 0x00fc, 0x33b0,
    172   0x002d, 0x0007, 0x002e, 0x005d, 0x00f5, 0x00fa, 0x00fb, 0x33af,
    173   0x0005, 0x0006, 0x002d, 0x005c, 0x00f4, 0x00f9, 0x00fa, 0x3388,
    174   0x0004, 0x0005, 0x002c, 0x005b, 0x00f3, 0x00f8, 0x00d3, 0x3366,
    175   0x0003, 0x0004, 0x002b, 0x005a, 0x00f2, 0x00d1, 0x00b1, 0x333a,
    176   0x0002, 0x0003, 0x002a, 0x0059, 0x00cb, 0x00af, 0x0085, 0x3335,
    177   0x0001, 0x0002, 0x0029, 0x0032, 0x00a9, 0x0083, 0x0080, 0x3334,
    178   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    179   0x0001, 0x0028, 0x0024, 0x003c, 0x0082, 0x007f, 0x0080, 0x3432,
    180   0x0028, 0x004a, 0x0050, 0x0041, 0x0083, 0x0080, 0x017d, 0x3431,
    181   0x004a, 0x0076, 0x0055, 0x0042, 0x0084, 0x017b, 0x017c, 0x3430,
    182   0x0076, 0x007b, 0x0056, 0x0043, 0x0175, 0x017a, 0x017b, 0x342a,
    183   0x007b, 0x007c, 0x0057, 0x00dc, 0x0174, 0x0179, 0x0175, 0x33ff,
    184   0x007c, 0x007d, 0x00ac, 0x00db, 0x0173, 0x0173, 0x014a, 0x33dd,
    185   0x007d, 0x0084, 0x00ab, 0x00da, 0x016d, 0x0148, 0x0128, 0x33b5,
    186   0x0082, 0x0083, 0x00aa, 0x00d4, 0x0142, 0x0126, 0x0100, 0x33b4,
    187   0x0081, 0x0082, 0x00a4, 0x00a9, 0x0120, 0x00fe, 0x00ff, 0x33b3,
    188   0x0080, 0x007c, 0x0079, 0x0087, 0x00f8, 0x00fd, 0x00fe, 0x33b2,
    189   0x007a, 0x0051, 0x0057, 0x005f, 0x00f7, 0x00fc, 0x00fd, 0x33b1,
    190   0x0050, 0x0056, 0x0051, 0x008a, 0x00fb, 0x00fc, 0x00fd, 0x33b5,
    191   0x002e, 0x002e, 0x0050, 0x0089, 0x00fa, 0x00fb, 0x00fc, 0x33b6,
    192   0x0006, 0x002d, 0x004f, 0x0088, 0x00f9, 0x00fa, 0x00fb, 0x33dd,
    193   0x0005, 0x002c, 0x004e, 0x0087, 0x00f8, 0x00f9, 0x00d4, 0x33ff,
    194   0x0004, 0x002b, 0x004d, 0x0086, 0x00f7, 0x00d2, 0x00b2, 0x342b,
    195   0x0003, 0x002a, 0x004c, 0x0085, 0x00d0, 0x00b0, 0x0086, 0x3430,
    196   0x0002, 0x0029, 0x004b, 0x005e, 0x00ae, 0x0084, 0x0081, 0x3431,
    197   0x0001, 0x0028, 0x0024, 0x003c, 0x0082, 0x007f, 0x0080, 0x3432,
    198   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    199   0x0027, 0x0023, 0x002e, 0x0015, 0x007e, 0x007f, 0x017e, 0x3334,
    200   0x0049, 0x004f, 0x0033, 0x0016, 0x007f, 0x017c, 0x017d, 0x3335,
    201   0x0075, 0x0054, 0x0034, 0x0017, 0x017a, 0x017b, 0x017c, 0x333b,
    202   0x007a, 0x0055, 0x0035, 0x0108, 0x0179, 0x017a, 0x0176, 0x3366,
    203   0x007b, 0x0056, 0x00ce, 0x0107, 0x0178, 0x0174, 0x014b, 0x3388,
    204   0x007c, 0x00ab, 0x00cd, 0x0106, 0x0172, 0x0149, 0x0129, 0x33b0,
    205   0x0083, 0x00aa, 0x00cc, 0x0100, 0x0147, 0x0127, 0x0101, 0x33b1,
    206   0x0082, 0x00a9, 0x00c6, 0x00d5, 0x0125, 0x00ff, 0x0100, 0x33b2,
    207   0x0081, 0x00a3, 0x009b, 0x00b3, 0x00fd, 0x00fe, 0x00ff, 0x33b3,
    208   0x007b, 0x0078, 0x0079, 0x008b, 0x00fc, 0x00fd, 0x00fe, 0x33b4,
    209   0x0077, 0x0078, 0x007d, 0x008f, 0x00fc, 0x00fd, 0x0100, 0x33b4,
    210   0x0055, 0x0050, 0x007c, 0x008e, 0x00fb, 0x00fc, 0x0101, 0x33b5,
    211   0x002d, 0x004f, 0x007b, 0x008d, 0x00fa, 0x00fb, 0x0102, 0x33dc,
    212   0x002c, 0x004e, 0x007a, 0x008c, 0x00f9, 0x00fa, 0x0129, 0x33fe,
    213   0x002b, 0x004d, 0x0079, 0x008b, 0x00f8, 0x00d3, 0x014b, 0x342a,
    214   0x002a, 0x004c, 0x0078, 0x008a, 0x00d1, 0x00b1, 0x0177, 0x342f,
    215   0x0029, 0x004b, 0x0077, 0x0063, 0x00af, 0x0085, 0x017c, 0x3430,
    216   0x0028, 0x004a, 0x0050, 0x0041, 0x0083, 0x0080, 0x017d, 0x3431,
    217   0x0027, 0x0023, 0x002e, 0x0015, 0x007e, 0x007f, 0x017e, 0x3334,
    218   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    219   0x0022, 0x002d, 0x0007, 0x0011, 0x007e, 0x017d, 0x0080, 0x3334,
    220   0x004e, 0x0032, 0x0008, 0x0012, 0x017b, 0x017c, 0x0081, 0x333a,
    221   0x0053, 0x0033, 0x0009, 0x010d, 0x017a, 0x017b, 0x0087, 0x3365,
    222   0x0054, 0x0034, 0x00fa, 0x010c, 0x0179, 0x0175, 0x00b2, 0x3387,
    223   0x0055, 0x00cd, 0x00f9, 0x010b, 0x0173, 0x014a, 0x00d4, 0x33af,
    224   0x00aa, 0x00cc, 0x00f8, 0x0105, 0x0148, 0x0128, 0x00fc, 0x33b0,
    225   0x00a9, 0x00cb, 0x00f2, 0x00da, 0x0126, 0x0100, 0x00fd, 0x33b1,
    226   0x00a8, 0x00c5, 0x00c7, 0x00b8, 0x00fe, 0x00ff, 0x00fe, 0x33b2,
    227   0x00a2, 0x009a, 0x00a5, 0x0090, 0x00fd, 0x00fe, 0x00ff, 0x33b3,
    228   0x0099, 0x00a4, 0x0082, 0x0090, 0x00fd, 0x00fe, 0x00ff, 0x33b3,
    229   0x0077, 0x007c, 0x0081, 0x008f, 0x00fc, 0x00ff, 0x0100, 0x33b4,
    230   0x004f, 0x007b, 0x0080, 0x008e, 0x00fb, 0x0100, 0x0101, 0x33db,
    231   0x004e, 0x007a, 0x007f, 0x008d, 0x00fa, 0x0101, 0x0128, 0x33fd,
    232   0x004d, 0x0079, 0x007e, 0x008c, 0x00f9, 0x0128, 0x014a, 0x3429,
    233   0x004c, 0x0078, 0x007d, 0x008b, 0x00d2, 0x014a, 0x0176, 0x342e,
    234   0x004b, 0x0077, 0x007c, 0x0064, 0x00b0, 0x0176, 0x017b, 0x342f,
    235   0x004a, 0x0076, 0x0055, 0x0042, 0x0084, 0x017b, 0x017c, 0x3430,
    236   0x0049, 0x004f, 0x0033, 0x0016, 0x007f, 0x017c, 0x017d, 0x3335,
    237   0x0022, 0x002d, 0x0007, 0x0011, 0x007e, 0x017d, 0x0080, 0x3334,
    238   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    239   0x002c, 0x0006, 0x0003, 0x0011, 0x017c, 0x007f, 0x0080, 0x3339,
    240   0x0031, 0x0007, 0x0004, 0x010e, 0x017b, 0x0080, 0x0086, 0x3364,
    241   0x0032, 0x0008, 0x00ff, 0x010d, 0x017a, 0x0086, 0x00b1, 0x3386,
    242   0x0033, 0x00f9, 0x00fe, 0x010c, 0x0174, 0x00b1, 0x00d3, 0x33ae,
    243   0x00cc, 0x00f8, 0x00fd, 0x0106, 0x0149, 0x00d3, 0x00fb, 0x33af,
    244   0x00cb, 0x00f7, 0x00f7, 0x00db, 0x0127, 0x00fb, 0x00fc, 0x33b0,
    245   0x00ca, 0x00f1, 0x00cc, 0x00b9, 0x00ff, 0x00fc, 0x00fd, 0x33b1,
    246   0x00c4, 0x00c6, 0x00aa, 0x0091, 0x00fe, 0x00fd, 0x00fe, 0x33b2,
    247   0x00c5, 0x00a9, 0x0083, 0x0091, 0x00fc, 0x00fd, 0x00fe, 0x33ad,
    248   0x00a3, 0x0081, 0x0082, 0x0090, 0x00fd, 0x00fe, 0x00ff, 0x33ae,
    249   0x007b, 0x0080, 0x0081, 0x008f, 0x00fe, 0x00ff, 0x0100, 0x33d5,
    250   0x007a, 0x007f, 0x0080, 0x008e, 0x00ff, 0x0100, 0x0127, 0x33f7,
    251   0x0079, 0x007e, 0x007f, 0x008d, 0x0100, 0x0127, 0x0149, 0x3423,
    252   0x0078, 0x007d, 0x007e, 0x008c, 0x0127, 0x0149, 0x0175, 0x3428,
    253   0x0077, 0x007c, 0x007d, 0x0065, 0x0149, 0x0175, 0x017a, 0x3429,
    254   0x0076, 0x007b, 0x0056, 0x0043, 0x0175, 0x017a, 0x017b, 0x342a,
    255   0x0075, 0x0054, 0x0034, 0x0017, 0x017a, 0x017b, 0x017c, 0x333b,
    256   0x004e, 0x0032, 0x0008, 0x0012, 0x017b, 0x017c, 0x0081, 0x333a,
    257   0x002c, 0x0006, 0x0003, 0x0011, 0x017c, 0x007f, 0x0080, 0x3339,
    258   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    259   0x0005, 0x0002, 0x0003, 0x010f, 0x007e, 0x007f, 0x0085, 0x335e,
    260   0x0006, 0x0003, 0x0100, 0x010e, 0x007f, 0x0085, 0x00b0, 0x3380,
    261   0x0007, 0x00fe, 0x00ff, 0x010d, 0x0085, 0x00b0, 0x00d2, 0x33a8,
    262   0x00f8, 0x00fd, 0x00fe, 0x0107, 0x00b0, 0x00d2, 0x00fa, 0x33a9,
    263   0x00f7, 0x00fc, 0x00f8, 0x00dc, 0x00d2, 0x00fa, 0x00fb, 0x33aa,
    264   0x00f6, 0x00f6, 0x00cd, 0x00ba, 0x00fa, 0x00fb, 0x00fc, 0x33ab,
    265   0x00f0, 0x00cb, 0x00ab, 0x0092, 0x00fb, 0x00fc, 0x00fd, 0x33ac,
    266   0x00ca, 0x00aa, 0x0084, 0x008e, 0x00fb, 0x00fc, 0x00f8, 0x3382,
    267   0x00a8, 0x0082, 0x0083, 0x008f, 0x00fc, 0x00fd, 0x00f9, 0x3383,
    268   0x0080, 0x0081, 0x0082, 0x0090, 0x00fd, 0x00fe, 0x00fa, 0x33aa,
    269   0x007f, 0x0080, 0x0081, 0x0091, 0x00fe, 0x00ff, 0x0121, 0x33cc,
    270   0x007e, 0x007f, 0x0080, 0x0092, 0x00ff, 0x0126, 0x0143, 0x33f8,
    271   0x007d, 0x007e, 0x007f, 0x0093, 0x0126, 0x0148, 0x016f, 0x33fd,
    272   0x007c, 0x007d, 0x007e, 0x00ba, 0x0148, 0x0174, 0x0174, 0x33fe,
    273   0x007b, 0x007c, 0x0057, 0x00dc, 0x0174, 0x0179, 0x0175, 0x33ff,
    274   0x007a, 0x0055, 0x0035, 0x0108, 0x0179, 0x017a, 0x0176, 0x3366,
    275   0x0053, 0x0033, 0x0009, 0x010d, 0x017a, 0x017b, 0x0087, 0x3365,
    276   0x0031, 0x0007, 0x0004, 0x010e, 0x017b, 0x0080, 0x0086, 0x3364,
    277   0x0005, 0x0002, 0x0003, 0x010f, 0x007e, 0x007f, 0x0085, 0x335e,
    278   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    279   0x0001, 0x0002, 0x0101, 0x0011, 0x007e, 0x0084, 0x00aa, 0x3355,
    280   0x0002, 0x00ff, 0x0100, 0x0012, 0x0084, 0x00af, 0x00cc, 0x337d,
    281   0x00fd, 0x00fe, 0x00ff, 0x0018, 0x00af, 0x00d1, 0x00f4, 0x337e,
    282   0x00fc, 0x00fd, 0x00f9, 0x0043, 0x00d1, 0x00f9, 0x00f5, 0x337f,
    283   0x00fb, 0x00f7, 0x00ce, 0x0065, 0x00f9, 0x00fa, 0x00f6, 0x3380,
    284   0x00f5, 0x00cc, 0x00ac, 0x008d, 0x00fa, 0x00fb, 0x00f7, 0x3381,
    285   0x00cb, 0x00ab, 0x007f, 0x008d, 0x00fa, 0x00f6, 0x00cd, 0x3360,
    286   0x00a9, 0x0083, 0x0080, 0x008e, 0x00fb, 0x00f7, 0x00ce, 0x3361,
    287   0x0081, 0x0082, 0x0081, 0x008f, 0x00fc, 0x00f8, 0x00cf, 0x3388,
    288   0x0080, 0x0081, 0x0082, 0x0090, 0x00fd, 0x00f9, 0x00f6, 0x33aa,
    289   0x007f, 0x0080, 0x0083, 0x0091, 0x00fe, 0x0120, 0x0118, 0x33d6,
    290   0x007e, 0x007f, 0x0084, 0x0092, 0x0125, 0x0142, 0x0144, 0x33db,
    291   0x007d, 0x007e, 0x0085, 0x00b9, 0x0147, 0x016e, 0x0149, 0x33dc,
    292   0x007c, 0x007d, 0x00ac, 0x00db, 0x0173, 0x0173, 0x014a, 0x33dd,
    293   0x007b, 0x0056, 0x00ce, 0x0107, 0x0178, 0x0174, 0x014b, 0x3388,
    294   0x0054, 0x0034, 0x00fa, 0x010c, 0x0179, 0x0175, 0x00b2, 0x3387,
    295   0x0032, 0x0008, 0x00ff, 0x010d, 0x017a, 0x0086, 0x00b1, 0x3386,
    296   0x0006, 0x0003, 0x0100, 0x010e, 0x007f, 0x0085, 0x00b0, 0x3380,
    297   0x0001, 0x0002, 0x0101, 0x0011, 0x007e, 0x0084, 0x00aa, 0x3355,
    298   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    299   0x0001, 0x0100, 0x0003, 0x0011, 0x0083, 0x00a9, 0x00a1, 0x335b,
    300   0x00fe, 0x00ff, 0x0004, 0x0017, 0x00ae, 0x00cb, 0x00c9, 0x335c,
    301   0x00fd, 0x00fe, 0x000a, 0x0042, 0x00d0, 0x00f3, 0x00ca, 0x335d,
    302   0x00fc, 0x00f8, 0x0035, 0x0064, 0x00f8, 0x00f4, 0x00cb, 0x335e,
    303   0x00f6, 0x00cd, 0x0057, 0x008c, 0x00f9, 0x00f5, 0x00cc, 0x335f,
    304   0x00cc, 0x0056, 0x007e, 0x008c, 0x00f4, 0x00cb, 0x00ab, 0x3338,
    305   0x00aa, 0x007e, 0x007f, 0x008d, 0x00f5, 0x00cc, 0x00ac, 0x3339,
    306   0x0082, 0x007f, 0x0080, 0x008e, 0x00f6, 0x00cd, 0x00ad, 0x3360,
    307   0x0081, 0x0080, 0x0081, 0x008f, 0x00f7, 0x00ce, 0x00d4, 0x3382,
    308   0x0080, 0x0081, 0x0082, 0x0090, 0x00f8, 0x00f5, 0x00f6, 0x33ae,
    309   0x007f, 0x0082, 0x0083, 0x0091, 0x011f, 0x0117, 0x0122, 0x33b3,
    310   0x007e, 0x0083, 0x0084, 0x00b8, 0x0141, 0x0143, 0x0127, 0x33b4,
    311   0x007d, 0x0084, 0x00ab, 0x00da, 0x016d, 0x0148, 0x0128, 0x33b5,
    312   0x007c, 0x00ab, 0x00cd, 0x0106, 0x0172, 0x0149, 0x0129, 0x33b0,
    313   0x0055, 0x00cd, 0x00f9, 0x010b, 0x0173, 0x014a, 0x00d4, 0x33af,
    314   0x0033, 0x00f9, 0x00fe, 0x010c, 0x0174, 0x00b1, 0x00d3, 0x33ae,
    315   0x0007, 0x00fe, 0x00ff, 0x010d, 0x0085, 0x00b0, 0x00d2, 0x33a8,
    316   0x0002, 0x00ff, 0x0100, 0x0012, 0x0084, 0x00af, 0x00cc, 0x337d,
    317   0x0001, 0x0100, 0x0003, 0x0011, 0x0083, 0x00a9, 0x00a1, 0x335b,
    318   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    319   0x00ff, 0x0002, 0x0003, 0x0016, 0x00a8, 0x00a0, 0x00a7, 0x3334,
    320   0x00fe, 0x0003, 0x0009, 0x0041, 0x00ca, 0x00c8, 0x00a8, 0x3335,
    321   0x00fd, 0x0009, 0x0034, 0x0063, 0x00f2, 0x00c9, 0x00a9, 0x3336,
    322   0x00f7, 0x0034, 0x0056, 0x008b, 0x00f3, 0x00ca, 0x00aa, 0x3337,
    323   0x0033, 0x0055, 0x007d, 0x0086, 0x00c9, 0x00a9, 0x0083, 0x3337,
    324   0x0055, 0x007d, 0x007e, 0x0087, 0x00ca, 0x00aa, 0x0084, 0x3338,
    325   0x007d, 0x007e, 0x007f, 0x0088, 0x00cb, 0x00ab, 0x0085, 0x335f,
    326   0x007e, 0x007f, 0x0080, 0x0089, 0x00cc, 0x00ac, 0x00ac, 0x3381,
    327   0x007f, 0x0080, 0x0081, 0x008a, 0x00cd, 0x00d3, 0x00ce, 0x33ad,
    328   0x0080, 0x0081, 0x0082, 0x008b, 0x00f4, 0x00f5, 0x00fa, 0x33b2,
    329   0x0081, 0x0082, 0x0083, 0x00b2, 0x0116, 0x0121, 0x00ff, 0x33b3,
    330   0x0082, 0x0083, 0x00aa, 0x00d4, 0x0142, 0x0126, 0x0100, 0x33b4,
    331   0x0083, 0x00aa, 0x00cc, 0x0100, 0x0147, 0x0127, 0x0101, 0x33b1,
    332   0x00aa, 0x00cc, 0x00f8, 0x0105, 0x0148, 0x0128, 0x00fc, 0x33b0,
    333   0x00cc, 0x00f8, 0x00fd, 0x0106, 0x0149, 0x00d3, 0x00fb, 0x33af,
    334   0x00f8, 0x00fd, 0x00fe, 0x0107, 0x00b0, 0x00d2, 0x00fa, 0x33a9,
    335   0x00fd, 0x00fe, 0x00ff, 0x0018, 0x00af, 0x00d1, 0x00f4, 0x337e,
    336   0x00fe, 0x00ff, 0x0004, 0x0017, 0x00ae, 0x00cb, 0x00c9, 0x335c,
    337   0x00ff, 0x0002, 0x0003, 0x0016, 0x00a8, 0x00a0, 0x00a7, 0x3334,
    338   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    339   0x0001, 0x0002, 0x0008, 0x003b, 0x009f, 0x00a6, 0x0080, 0x3334,
    340   0x0002, 0x0008, 0x0033, 0x005d, 0x00c7, 0x00a7, 0x0081, 0x3335,
    341   0x0008, 0x0033, 0x0055, 0x0085, 0x00c8, 0x00a8, 0x0082, 0x3336,
    342   0x0032, 0x0054, 0x0077, 0x005b, 0x00a7, 0x0081, 0x0082, 0x3336,
    343   0x0054, 0x007c, 0x0078, 0x005c, 0x00a8, 0x0082, 0x0083, 0x3337,
    344   0x007c, 0x007d, 0x0079, 0x005d, 0x00a9, 0x0083, 0x0084, 0x335e,
    345   0x007d, 0x007e, 0x007a, 0x005e, 0x00aa, 0x0084, 0x00ab, 0x3380,
    346   0x007e, 0x007f, 0x007b, 0x005f, 0x00ab, 0x00ab, 0x00cd, 0x33ac,
    347   0x007f, 0x0080, 0x007c, 0x0060, 0x00d2, 0x00cd, 0x00f9, 0x33b1,
    348   0x0080, 0x0081, 0x007d, 0x0087, 0x00f4, 0x00f9, 0x00fe, 0x33b2,
    349   0x0081, 0x0082, 0x00a4, 0x00a9, 0x0120, 0x00fe, 0x00ff, 0x33b3,
    350   0x0082, 0x00a9, 0x00c6, 0x00d5, 0x0125, 0x00ff, 0x0100, 0x33b2,
    351   0x00a9, 0x00cb, 0x00f2, 0x00da, 0x0126, 0x0100, 0x00fd, 0x33b1,
    352   0x00cb, 0x00f7, 0x00f7, 0x00db, 0x0127, 0x00fb, 0x00fc, 0x33b0,
    353   0x00f7, 0x00fc, 0x00f8, 0x00dc, 0x00d2, 0x00fa, 0x00fb, 0x33aa,
    354   0x00fc, 0x00fd, 0x00f9, 0x0043, 0x00d1, 0x00f9, 0x00f5, 0x337f,
    355   0x00fd, 0x00fe, 0x000a, 0x0042, 0x00d0, 0x00f3, 0x00ca, 0x335d,
    356   0x00fe, 0x0003, 0x0009, 0x0041, 0x00ca, 0x00c8, 0x00a8, 0x3335,
    357   0x0001, 0x0002, 0x0008, 0x003b, 0x009f, 0x00a6, 0x0080, 0x3334,
    358   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    359   0x0001, 0x0007, 0x002d, 0x0032, 0x00a5, 0x007f, 0x0080, 0x3334,
    360   0x0007, 0x0032, 0x004f, 0x005a, 0x00a6, 0x0080, 0x0081, 0x3335,
    361   0x0031, 0x004e, 0x004c, 0x0039, 0x007f, 0x0080, 0x0081, 0x3335,
    362   0x0053, 0x0076, 0x004d, 0x003a, 0x0080, 0x0081, 0x0082, 0x3336,
    363   0x007b, 0x0077, 0x004e, 0x003b, 0x0081, 0x0082, 0x0083, 0x335d,
    364   0x007c, 0x0078, 0x004f, 0x003c, 0x0082, 0x0083, 0x00aa, 0x337f,
    365   0x007d, 0x0079, 0x0050, 0x003d, 0x0083, 0x00aa, 0x00cc, 0x33ab,
    366   0x007e, 0x007a, 0x0051, 0x003e, 0x00aa, 0x00cc, 0x00f8, 0x33b0,
    367   0x007f, 0x007b, 0x0052, 0x0065, 0x00cc, 0x00f8, 0x00fd, 0x33b1,
    368   0x0080, 0x007c, 0x0079, 0x0087, 0x00f8, 0x00fd, 0x00fe, 0x33b2,
    369   0x0081, 0x00a3, 0x009b, 0x00b3, 0x00fd, 0x00fe, 0x00ff, 0x33b3,
    370   0x00a8, 0x00c5, 0x00c7, 0x00b8, 0x00fe, 0x00ff, 0x00fe, 0x33b2,
    371   0x00ca, 0x00f1, 0x00cc, 0x00b9, 0x00ff, 0x00fc, 0x00fd, 0x33b1,
    372   0x00f6, 0x00f6, 0x00cd, 0x00ba, 0x00fa, 0x00fb, 0x00fc, 0x33ab,
    373   0x00fb, 0x00f7, 0x00ce, 0x0065, 0x00f9, 0x00fa, 0x00f6, 0x3380,
    374   0x00fc, 0x00f8, 0x0035, 0x0064, 0x00f8, 0x00f4, 0x00cb, 0x335e,
    375   0x00fd, 0x0009, 0x0034, 0x0063, 0x00f2, 0x00c9, 0x00a9, 0x3336,
    376   0x0002, 0x0008, 0x0033, 0x005d, 0x00c7, 0x00a7, 0x0081, 0x3335,
    377   0x0001, 0x0007, 0x002d, 0x0032, 0x00a5, 0x007f, 0x0080, 0x3334,
    378   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    379   0x0006, 0x002c, 0x0024, 0x0038, 0x007e, 0x007f, 0x0080, 0x3334,
    380   0x002b, 0x0023, 0x002a, 0x0011, 0x007e, 0x007f, 0x0080, 0x3334,
    381   0x004d, 0x004b, 0x002b, 0x0012, 0x007f, 0x0080, 0x0081, 0x3335,
    382   0x0075, 0x004c, 0x002c, 0x0013, 0x0080, 0x0081, 0x0082, 0x335c,
    383   0x0076, 0x004d, 0x002d, 0x0014, 0x0081, 0x0082, 0x00a9, 0x337e,
    384   0x0077, 0x004e, 0x002e, 0x0015, 0x0082, 0x00a9, 0x00cb, 0x33aa,
    385   0x0078, 0x004f, 0x002f, 0x0016, 0x00a9, 0x00cb, 0x00f7, 0x33af,
    386   0x0079, 0x0050, 0x0030, 0x003d, 0x00cb, 0x00f7, 0x00fc, 0x33b0,
    387   0x007a, 0x0051, 0x0057, 0x005f, 0x00f7, 0x00fc, 0x00fd, 0x33b1,
    388   0x007b, 0x0078, 0x0079, 0x008b, 0x00fc, 0x00fd, 0x00fe, 0x33b4,
    389   0x00a2, 0x009a, 0x00a5, 0x0090, 0x00fd, 0x00fe, 0x00ff, 0x33b3,
    390   0x00c4, 0x00c6, 0x00aa, 0x0091, 0x00fe, 0x00fd, 0x00fe, 0x33b2,
    391   0x00f0, 0x00cb, 0x00ab, 0x0092, 0x00fb, 0x00fc, 0x00fd, 0x33ac,
    392   0x00f5, 0x00cc, 0x00ac, 0x008d, 0x00fa, 0x00fb, 0x00f7, 0x3381,
    393   0x00f6, 0x00cd, 0x0057, 0x008c, 0x00f9, 0x00f5, 0x00cc, 0x335f,
    394   0x00f7, 0x0034, 0x0056, 0x008b, 0x00f3, 0x00ca, 0x00aa, 0x3337,
    395   0x0008, 0x0033, 0x0055, 0x0085, 0x00c8, 0x00a8, 0x0082, 0x3336,
    396   0x0007, 0x0032, 0x004f, 0x005a, 0x00a6, 0x0080, 0x0081, 0x3335,
    397   0x0006, 0x002c, 0x0024, 0x0038, 0x007e, 0x007f, 0x0080, 0x3334,
    398   0x0000, 0x0001, 0x0002, 0x0010, 0x007d, 0x007e, 0x007f, 0x3333,
    399 };
    400 const unsigned kExpectedCount_NEON_uabal_8H = 361;
    401 
    402 #endif  // VIXL_SIM_UABAL_8H_TRACE_A64_H_
    403