1// Copyright 2015, VIXL authors
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_RSHRN_2S_2OPIMM_TRACE_AARCH64_H_
35#define VIXL_SIM_RSHRN_2S_2OPIMM_TRACE_AARCH64_H_
36
37const uint32_t kExpected_NEON_rshrn_2S_2OPIMM[] = {
38  0x0000000000000000, 0x0000000000000000,
39  0x0000000000000000, 0x0000000000000000,
40  0x0000000000000000, 0x0000000000000000,
41  0x0000000000000000, 0x0000000000000000,
42  0x0000000000000000, 0x0000000000000000,
43  0x0000000000000000, 0x0000000000000000,
44  0x0000000000000000, 0x0000000000000000,
45  0x0000000000000000, 0x0000000000000000,
46  0x0000000000000000, 0x0000000000000000,
47  0x0000000000000000, 0x0000000000000000,
48  0x0000000000000000, 0x0000000000000000,
49  0x0000000000000000, 0x0000000000000000,
50  0x0000000000000000, 0x0000000000000000,
51  0x0000000000000000, 0x0000000000000000,
52  0x0000000000000000, 0x0000000000000000,
53  0x0000000000000000, 0x0000000000000000,
54  0x0000000000000000, 0x0000000000000000,
55  0x0000000000000000, 0x0000000000000000,
56  0x0000000000000000, 0x0000000000000000,
57  0x0000000000000000, 0x0000000000000000,
58  0x0000000000000000, 0x0000000000000000,
59  0x0000000000000000, 0x0000000000000000,
60  0x0000000000000000, 0x0000000000000000,
61  0x0000000000000000, 0x0000000000000000,
62  0x0000000000000000, 0x0000000000000000,
63  0x0000000000000000, 0x0000000000000000,
64  0x0000000000000000, 0x0000000000000000,
65  0x0000000000000000, 0x0000000000000000,
66  0x0000000000000000, 0x0000000000000000,
67  0x0000000000000000, 0x0000000000000000,
68  0x0000000000000000, 0x0000000000000000,
69  0x0000000000000000, 0x0000000000000000,
70  0x0000000000000000, 0x0000000000000001,
71  0x0000000000000000, 0x0000000000000000,
72  0x0000000000000000, 0x0000000000000000,
73  0x0000000000000000, 0x0000000000000000,
74  0x0000000000000000, 0x0000000000000000,
75  0x0000000000000000, 0x0000000000000000,
76  0x0000000000000000, 0x0000000000000000,
77  0x0000000000000000, 0x0000000000000000,
78  0x0000000000000000, 0x0000000000000000,
79  0x0000000000000000, 0x0000000000000000,
80  0x0000000000000000, 0x0000000000000000,
81  0x0000000000000000, 0x0000000000000000,
82  0x0000000000000000, 0x0000000000000000,
83  0x0000000000000000, 0x0000000000000000,
84  0x0000000000000000, 0x0000000000000000,
85  0x0000000000000000, 0x0000000000000000,
86  0x0000000000000000, 0x0000000000000000,
87  0x0000000000000000, 0x0000000000000000,
88  0x0000000000000000, 0x0000000000000000,
89  0x0000000000000000, 0x0000000000000000,
90  0x0000000000000000, 0x0000000000000000,
91  0x0000000000000000, 0x0000000000000000,
92  0x0000000000000000, 0x0000000000000000,
93  0x0000000000000000, 0x0000000000000000,
94  0x0000000000000000, 0x0000000000000000,
95  0x0000000000000000, 0x0000000000000000,
96  0x0000000000000000, 0x0000000000000000,
97  0x0000000000000000, 0x0000000000000000,
98  0x0000000000000000, 0x0000000000000000,
99  0x0000000000000000, 0x0000000000000000,
100  0x0000000000000000, 0x0000000000000000,
101  0x0000000000000000, 0x0000000000000000,
102  0x0000000000000001, 0x0000000000000001,
103  0x0000000000000000, 0x0000000000000001,
104  0x0000000000000000, 0x0000000000000000,
105  0x0000000000000000, 0x0000000000000000,
106  0x0000000000000000, 0x0000000000000000,
107  0x0000000000000000, 0x0000000000000000,
108  0x0000000000000000, 0x0000000000000000,
109  0x0000000000000000, 0x0000000000000000,
110  0x0000000000000000, 0x0000000000000000,
111  0x0000000000000000, 0x0000000000000000,
112  0x0000000000000000, 0x0000000000000000,
113  0x0000000000000000, 0x0000000000000000,
114  0x0000000000000000, 0x0000000000000000,
115  0x0000000000000000, 0x0000000000000000,
116  0x0000000000000000, 0x0000000000000000,
117  0x0000000000000000, 0x0000000000000000,
118  0x0000000000000000, 0x0000000000000000,
119  0x0000000000000000, 0x0000000000000000,
120  0x0000000000000000, 0x0000000000000000,
121  0x0000000000000000, 0x0000000000000000,
122  0x0000000000000000, 0x0000000000000000,
123  0x0000000000000000, 0x0000000000000000,
124  0x0000000000000000, 0x0000000000000000,
125  0x0000000000000000, 0x0000000000000000,
126  0x0000000000000000, 0x0000000000000000,
127  0x0000000000000000, 0x0000000000000000,
128  0x0000000000000000, 0x0000000000000000,
129  0x0000000000000000, 0x0000000000000000,
130  0x0000000000000000, 0x0000000000000000,
131  0x0000000000000000, 0x0000000000000000,
132  0x0000000000000000, 0x0000000000000000,
133  0x0000000000000000, 0x0000000000000000,
134  0x0000000000000001, 0x0000000000000020,
135  0x0000000000000001, 0x0000000000000010,
136  0x0000000000000000, 0x0000000000000008,
137  0x0000000000000000, 0x0000000000000004,
138  0x0000000000000000, 0x0000000000000002,
139  0x0000000000000000, 0x0000000000000001,
140  0x0000000000000000, 0x0000000000000001,
141  0x0000000000000000, 0x0000000000000000,
142  0x0000000000000000, 0x0000000000000000,
143  0x0000000000000000, 0x0000000000000000,
144  0x0000000000000000, 0x0000000000000000,
145  0x0000000000000000, 0x0000000000000000,
146  0x0000000000000000, 0x0000000000000000,
147  0x0000000000000000, 0x0000000000000000,
148  0x0000000000000000, 0x0000000000000000,
149  0x0000000000000000, 0x0000000000000000,
150  0x0000000000000000, 0x0000000000000000,
151  0x0000000000000000, 0x0000000000000000,
152  0x0000000000000000, 0x0000000000000000,
153  0x0000000000000000, 0x0000000000000000,
154  0x0000000000000000, 0x0000000000000000,
155  0x0000000000000000, 0x0000000000000000,
156  0x0000000000000000, 0x0000000000000000,
157  0x0000000000000000, 0x0000000000000000,
158  0x0000000000000000, 0x0000000000000000,
159  0x0000000000000000, 0x0000000000000000,
160  0x0000000000000000, 0x0000000000000000,
161  0x0000000000000000, 0x0000000000000000,
162  0x0000000000000000, 0x0000000000000000,
163  0x0000000000000000, 0x0000000000000000,
164  0x0000000000000000, 0x0000000000000000,
165  0x0000000000000000, 0x0000000000000000,
166  0x0000000000000020, 0x000000000000003f,
167  0x0000000000000010, 0x000000000000001f,
168  0x0000000000000008, 0x0000000000000010,
169  0x0000000000000004, 0x0000000000000008,
170  0x0000000000000002, 0x0000000000000004,
171  0x0000000000000001, 0x0000000000000002,
172  0x0000000000000001, 0x0000000000000001,
173  0x0000000000000000, 0x0000000000000000,
174  0x0000000000000000, 0x0000000000000000,
175  0x0000000000000000, 0x0000000000000000,
176  0x0000000000000000, 0x0000000000000000,
177  0x0000000000000000, 0x0000000000000000,
178  0x0000000000000000, 0x0000000000000000,
179  0x0000000000000000, 0x0000000000000000,
180  0x0000000000000000, 0x0000000000000000,
181  0x0000000000000000, 0x0000000000000000,
182  0x0000000000000000, 0x0000000000000000,
183  0x0000000000000000, 0x0000000000000000,
184  0x0000000000000000, 0x0000000000000000,
185  0x0000000000000000, 0x0000000000000000,
186  0x0000000000000000, 0x0000000000000000,
187  0x0000000000000000, 0x0000000000000000,
188  0x0000000000000000, 0x0000000000000000,
189  0x0000000000000000, 0x0000000000000000,
190  0x0000000000000000, 0x0000000000000000,
191  0x0000000000000000, 0x0000000000000000,
192  0x0000000000000000, 0x0000000000000000,
193  0x0000000000000000, 0x0000000000000000,
194  0x0000000000000000, 0x0000000000000000,
195  0x0000000000000000, 0x0000000000000000,
196  0x0000000000000000, 0x0000000000000000,
197  0x0000000000000000, 0x0000000000000000,
198  0x000000000000003f, 0x000000000000003f,
199  0x000000000000001f, 0x0000000000000020,
200  0x0000000000000010, 0x0000000000000010,
201  0x0000000000000008, 0x0000000000000008,
202  0x0000000000000004, 0x0000000000000004,
203  0x0000000000000002, 0x0000000000000002,
204  0x0000000000000001, 0x0000000000000001,
205  0x0000000000000000, 0x0000000000000000,
206  0x0000000000000000, 0x0000000000000000,
207  0x0000000000000000, 0x0000000000000000,
208  0x0000000000000000, 0x0000000000000000,
209  0x0000000000000000, 0x0000000000000000,
210  0x0000000000000000, 0x0000000000000000,
211  0x0000000000000000, 0x0000000000000000,
212  0x0000000000000000, 0x0000000000000000,
213  0x0000000000000000, 0x0000000000000000,
214  0x0000000000000000, 0x0000000000000000,
215  0x0000000000000000, 0x0000000000000000,
216  0x0000000000000000, 0x0000000000000000,
217  0x0000000000000000, 0x0000000000000000,
218  0x0000000000000000, 0x0000000000000000,
219  0x0000000000000000, 0x0000000000000000,
220  0x0000000000000000, 0x0000000000000000,
221  0x0000000000000000, 0x0000000000000000,
222  0x0000000000000000, 0x0000000000000000,
223  0x0000000000000000, 0x0000000000000000,
224  0x0000000000000000, 0x0000000000000000,
225  0x0000000000000000, 0x0000000000000000,
226  0x0000000000000000, 0x0000000000000000,
227  0x0000000000000000, 0x0000000000000000,
228  0x0000000000000000, 0x0000000000000000,
229  0x0000000000000000, 0x0000000000000000,
230  0x000000000000003f, 0x0000000000000040,
231  0x0000000000000020, 0x0000000000000020,
232  0x0000000000000010, 0x0000000000000010,
233  0x0000000000000008, 0x0000000000000008,
234  0x0000000000000004, 0x0000000000000004,
235  0x0000000000000002, 0x0000000000000002,
236  0x0000000000000001, 0x0000000000000001,
237  0x0000000000000000, 0x0000000000000000,
238  0x0000000000000000, 0x0000000000000000,
239  0x0000000000000000, 0x0000000000000000,
240  0x0000000000000000, 0x0000000000000000,
241  0x0000000000000000, 0x0000000000000000,
242  0x0000000000000000, 0x0000000000000000,
243  0x0000000000000000, 0x0000000000000000,
244  0x0000000000000000, 0x0000000000000000,
245  0x0000000000000000, 0x0000000000000000,
246  0x0000000000000000, 0x0000000000000000,
247  0x0000000000000000, 0x0000000000000000,
248  0x0000000000000000, 0x0000000000000000,
249  0x0000000000000000, 0x0000000000000000,
250  0x0000000000000000, 0x0000000000000000,
251  0x0000000000000000, 0x0000000000000000,
252  0x0000000000000000, 0x0000000000000000,
253  0x0000000000000000, 0x0000000000000000,
254  0x0000000000000000, 0x0000000000000000,
255  0x0000000000000000, 0x0000000000000000,
256  0x0000000000000000, 0x0000000000000000,
257  0x0000000000000000, 0x0000000000000000,
258  0x0000000000000000, 0x0000000000000000,
259  0x0000000000000000, 0x0000000000000000,
260  0x0000000000000000, 0x0000000000000000,
261  0x0000000000000000, 0x0000000000000000,
262  0x0000000000000040, 0x0000000000003fff,
263  0x0000000000000020, 0x0000000000001fff,
264  0x0000000000000010, 0x0000000000001000,
265  0x0000000000000008, 0x0000000000000800,
266  0x0000000000000004, 0x0000000000000400,
267  0x0000000000000002, 0x0000000000000200,
268  0x0000000000000001, 0x0000000000000100,
269  0x0000000000000000, 0x0000000000000080,
270  0x0000000000000000, 0x0000000000000040,
271  0x0000000000000000, 0x0000000000000020,
272  0x0000000000000000, 0x0000000000000010,
273  0x0000000000000000, 0x0000000000000008,
274  0x0000000000000000, 0x0000000000000004,
275  0x0000000000000000, 0x0000000000000002,
276  0x0000000000000000, 0x0000000000000001,
277  0x0000000000000000, 0x0000000000000000,
278  0x0000000000000000, 0x0000000000000000,
279  0x0000000000000000, 0x0000000000000000,
280  0x0000000000000000, 0x0000000000000000,
281  0x0000000000000000, 0x0000000000000000,
282  0x0000000000000000, 0x0000000000000000,
283  0x0000000000000000, 0x0000000000000000,
284  0x0000000000000000, 0x0000000000000000,
285  0x0000000000000000, 0x0000000000000000,
286  0x0000000000000000, 0x0000000000000000,
287  0x0000000000000000, 0x0000000000000000,
288  0x0000000000000000, 0x0000000000000000,
289  0x0000000000000000, 0x0000000000000000,
290  0x0000000000000000, 0x0000000000000000,
291  0x0000000000000000, 0x0000000000000000,
292  0x0000000000000000, 0x0000000000000000,
293  0x0000000000000000, 0x0000000000000000,
294  0x0000000000003fff, 0x0000000000003fff,
295  0x0000000000001fff, 0x0000000000002000,
296  0x0000000000001000, 0x0000000000001000,
297  0x0000000000000800, 0x0000000000000800,
298  0x0000000000000400, 0x0000000000000400,
299  0x0000000000000200, 0x0000000000000200,
300  0x0000000000000100, 0x0000000000000100,
301  0x0000000000000080, 0x0000000000000080,
302  0x0000000000000040, 0x0000000000000040,
303  0x0000000000000020, 0x0000000000000020,
304  0x0000000000000010, 0x0000000000000010,
305  0x0000000000000008, 0x0000000000000008,
306  0x0000000000000004, 0x0000000000000004,
307  0x0000000000000002, 0x0000000000000002,
308  0x0000000000000001, 0x0000000000000001,
309  0x0000000000000000, 0x0000000000000000,
310  0x0000000000000000, 0x0000000000000000,
311  0x0000000000000000, 0x0000000000000000,
312  0x0000000000000000, 0x0000000000000000,
313  0x0000000000000000, 0x0000000000000000,
314  0x0000000000000000, 0x0000000000000000,
315  0x0000000000000000, 0x0000000000000000,
316  0x0000000000000000, 0x0000000000000000,
317  0x0000000000000000, 0x0000000000000000,
318  0x0000000000000000, 0x0000000000000000,
319  0x0000000000000000, 0x0000000000000000,
320  0x0000000000000000, 0x0000000000000000,
321  0x0000000000000000, 0x0000000000000000,
322  0x0000000000000000, 0x0000000000000000,
323  0x0000000000000000, 0x0000000000000000,
324  0x0000000000000000, 0x0000000000000000,
325  0x0000000000000000, 0x0000000000000000,
326  0x0000000000003fff, 0x0000000000004000,
327  0x0000000000002000, 0x0000000000002000,
328  0x0000000000001000, 0x0000000000001000,
329  0x0000000000000800, 0x0000000000000800,
330  0x0000000000000400, 0x0000000000000400,
331  0x0000000000000200, 0x0000000000000200,
332  0x0000000000000100, 0x0000000000000100,
333  0x0000000000000080, 0x0000000000000080,
334  0x0000000000000040, 0x0000000000000040,
335  0x0000000000000020, 0x0000000000000020,
336  0x0000000000000010, 0x0000000000000010,
337  0x0000000000000008, 0x0000000000000008,
338  0x0000000000000004, 0x0000000000000004,
339  0x0000000000000002, 0x0000000000000002,
340  0x0000000000000001, 0x0000000000000001,
341  0x0000000000000000, 0x0000000000000000,
342  0x0000000000000000, 0x0000000000000000,
343  0x0000000000000000, 0x0000000000000000,
344  0x0000000000000000, 0x0000000000000000,
345  0x0000000000000000, 0x0000000000000000,
346  0x0000000000000000, 0x0000000000000000,
347  0x0000000000000000, 0x0000000000000000,
348  0x0000000000000000, 0x0000000000000000,
349  0x0000000000000000, 0x0000000000000000,
350  0x0000000000000000, 0x0000000000000000,
351  0x0000000000000000, 0x0000000000000000,
352  0x0000000000000000, 0x0000000000000000,
353  0x0000000000000000, 0x0000000000000000,
354  0x0000000000000000, 0x0000000000000000,
355  0x0000000000000000, 0x0000000000000000,
356  0x0000000000000000, 0x0000000000000000,
357  0x0000000000000000, 0x0000000000000000,
358  0x0000000000004000, 0x000000003fffffff,
359  0x0000000000002000, 0x000000001fffffff,
360  0x0000000000001000, 0x0000000010000000,
361  0x0000000000000800, 0x0000000008000000,
362  0x0000000000000400, 0x0000000004000000,
363  0x0000000000000200, 0x0000000002000000,
364  0x0000000000000100, 0x0000000001000000,
365  0x0000000000000080, 0x0000000000800000,
366  0x0000000000000040, 0x0000000000400000,
367  0x0000000000000020, 0x0000000000200000,
368  0x0000000000000010, 0x0000000000100000,
369  0x0000000000000008, 0x0000000000080000,
370  0x0000000000000004, 0x0000000000040000,
371  0x0000000000000002, 0x0000000000020000,
372  0x0000000000000001, 0x0000000000010000,
373  0x0000000000000000, 0x0000000000008000,
374  0x0000000000000000, 0x0000000000004000,
375  0x0000000000000000, 0x0000000000002000,
376  0x0000000000000000, 0x0000000000001000,
377  0x0000000000000000, 0x0000000000000800,
378  0x0000000000000000, 0x0000000000000400,
379  0x0000000000000000, 0x0000000000000200,
380  0x0000000000000000, 0x0000000000000100,
381  0x0000000000000000, 0x0000000000000080,
382  0x0000000000000000, 0x0000000000000040,
383  0x0000000000000000, 0x0000000000000020,
384  0x0000000000000000, 0x0000000000000010,
385  0x0000000000000000, 0x0000000000000008,
386  0x0000000000000000, 0x0000000000000004,
387  0x0000000000000000, 0x0000000000000002,
388  0x0000000000000000, 0x0000000000000001,
389  0x0000000000000000, 0x0000000000000000,
390  0x000000003fffffff, 0x000000003fffffff,
391  0x000000001fffffff, 0x0000000020000000,
392  0x0000000010000000, 0x0000000010000000,
393  0x0000000008000000, 0x0000000008000000,
394  0x0000000004000000, 0x0000000004000000,
395  0x0000000002000000, 0x0000000002000000,
396  0x0000000001000000, 0x0000000001000000,
397  0x0000000000800000, 0x0000000000800000,
398  0x0000000000400000, 0x0000000000400000,
399  0x0000000000200000, 0x0000000000200000,
400  0x0000000000100000, 0x0000000000100000,
401  0x0000000000080000, 0x0000000000080000,
402  0x0000000000040000, 0x0000000000040000,
403  0x0000000000020000, 0x0000000000020000,
404  0x0000000000010000, 0x0000000000010000,
405  0x0000000000008000, 0x0000000000008000,
406  0x0000000000004000, 0x0000000000004000,
407  0x0000000000002000, 0x0000000000002000,
408  0x0000000000001000, 0x0000000000001000,
409  0x0000000000000800, 0x0000000000000800,
410  0x0000000000000400, 0x0000000000000400,
411  0x0000000000000200, 0x0000000000000200,
412  0x0000000000000100, 0x0000000000000100,
413  0x0000000000000080, 0x0000000000000080,
414  0x0000000000000040, 0x0000000000000040,
415  0x0000000000000020, 0x0000000000000020,
416  0x0000000000000010, 0x0000000000000010,
417  0x0000000000000008, 0x0000000000000008,
418  0x0000000000000004, 0x0000000000000004,
419  0x0000000000000002, 0x0000000000000002,
420  0x0000000000000001, 0x0000000000000001,
421  0x0000000000000000, 0x0000000000000000,
422  0x000000003fffffff, 0x0000000040000000,
423  0x0000000020000000, 0x0000000020000000,
424  0x0000000010000000, 0x0000000010000000,
425  0x0000000008000000, 0x0000000008000000,
426  0x0000000004000000, 0x0000000004000000,
427  0x0000000002000000, 0x0000000002000000,
428  0x0000000001000000, 0x0000000001000000,
429  0x0000000000800000, 0x0000000000800000,
430  0x0000000000400000, 0x0000000000400000,
431  0x0000000000200000, 0x0000000000200000,
432  0x0000000000100000, 0x0000000000100000,
433  0x0000000000080000, 0x0000000000080000,
434  0x0000000000040000, 0x0000000000040000,
435  0x0000000000020000, 0x0000000000020000,
436  0x0000000000010000, 0x0000000000010000,
437  0x0000000000008000, 0x0000000000008000,
438  0x0000000000004000, 0x0000000000004000,
439  0x0000000000002000, 0x0000000000002000,
440  0x0000000000001000, 0x0000000000001000,
441  0x0000000000000800, 0x0000000000000800,
442  0x0000000000000400, 0x0000000000000400,
443  0x0000000000000200, 0x0000000000000200,
444  0x0000000000000100, 0x0000000000000100,
445  0x0000000000000080, 0x0000000000000080,
446  0x0000000000000040, 0x0000000000000040,
447  0x0000000000000020, 0x0000000000000020,
448  0x0000000000000010, 0x0000000000000010,
449  0x0000000000000008, 0x0000000000000008,
450  0x0000000000000004, 0x0000000000000004,
451  0x0000000000000002, 0x0000000000000002,
452  0x0000000000000001, 0x0000000000000001,
453  0x0000000000000000, 0x0000000000000000,
454  0x0000000040000000, 0x000000009999999a,
455  0x0000000020000000, 0x00000000cccccccd,
456  0x0000000010000000, 0x0000000066666666,
457  0x0000000008000000, 0x0000000033333333,
458  0x0000000004000000, 0x000000009999999a,
459  0x0000000002000000, 0x00000000cccccccd,
460  0x0000000001000000, 0x0000000066666666,
461  0x0000000000800000, 0x0000000033333333,
462  0x0000000000400000, 0x000000009999999a,
463  0x0000000000200000, 0x00000000cccccccd,
464  0x0000000000100000, 0x0000000066666666,
465  0x0000000000080000, 0x0000000033333333,
466  0x0000000000040000, 0x000000009999999a,
467  0x0000000000020000, 0x00000000cccccccd,
468  0x0000000000010000, 0x0000000066666666,
469  0x0000000000008000, 0x0000000033333333,
470  0x0000000000004000, 0x000000009999999a,
471  0x0000000000002000, 0x00000000cccccccd,
472  0x0000000000001000, 0x0000000066666666,
473  0x0000000000000800, 0x0000000033333333,
474  0x0000000000000400, 0x000000009999999a,
475  0x0000000000000200, 0x00000000cccccccd,
476  0x0000000000000100, 0x0000000066666666,
477  0x0000000000000080, 0x0000000033333333,
478  0x0000000000000040, 0x000000009999999a,
479  0x0000000000000020, 0x00000000cccccccd,
480  0x0000000000000010, 0x0000000066666666,
481  0x0000000000000008, 0x0000000033333333,
482  0x0000000000000004, 0x000000009999999a,
483  0x0000000000000002, 0x00000000cccccccd,
484  0x0000000000000001, 0x0000000066666666,
485  0x0000000000000000, 0x0000000033333333,
486  0x000000009999999a, 0x00000000aaaaaaab,
487  0x00000000cccccccd, 0x0000000055555555,
488  0x0000000066666666, 0x00000000aaaaaaab,
489  0x0000000033333333, 0x0000000055555555,
490  0x000000009999999a, 0x00000000aaaaaaab,
491  0x00000000cccccccd, 0x0000000055555555,
492  0x0000000066666666, 0x00000000aaaaaaab,
493  0x0000000033333333, 0x0000000055555555,
494  0x000000009999999a, 0x00000000aaaaaaab,
495  0x00000000cccccccd, 0x0000000055555555,
496  0x0000000066666666, 0x00000000aaaaaaab,
497  0x0000000033333333, 0x0000000055555555,
498  0x000000009999999a, 0x00000000aaaaaaab,
499  0x00000000cccccccd, 0x0000000055555555,
500  0x0000000066666666, 0x00000000aaaaaaab,
501  0x0000000033333333, 0x0000000055555555,
502  0x000000009999999a, 0x00000000aaaaaaab,
503  0x00000000cccccccd, 0x0000000055555555,
504  0x0000000066666666, 0x00000000aaaaaaab,
505  0x0000000033333333, 0x0000000055555555,
506  0x000000009999999a, 0x00000000aaaaaaab,
507  0x00000000cccccccd, 0x0000000055555555,
508  0x0000000066666666, 0x00000000aaaaaaab,
509  0x0000000033333333, 0x0000000055555555,
510  0x000000009999999a, 0x00000000aaaaaaab,
511  0x00000000cccccccd, 0x0000000055555555,
512  0x0000000066666666, 0x00000000aaaaaaab,
513  0x0000000033333333, 0x0000000055555555,
514  0x000000009999999a, 0x00000000aaaaaaab,
515  0x00000000cccccccd, 0x0000000055555555,
516  0x0000000066666666, 0x00000000aaaaaaab,
517  0x0000000033333333, 0x0000000055555555,
518  0x00000000aaaaaaab, 0x00000000ffffffff,
519  0x0000000055555555, 0x00000000ffffffff,
520  0x00000000aaaaaaab, 0x0000000000000000,
521  0x0000000055555555, 0x0000000000000000,
522  0x00000000aaaaaaab, 0x0000000000000000,
523  0x0000000055555555, 0x0000000000000000,
524  0x00000000aaaaaaab, 0x0000000000000000,
525  0x0000000055555555, 0x0000000000000000,
526  0x00000000aaaaaaab, 0x0000000000000000,
527  0x0000000055555555, 0x0000000000000000,
528  0x00000000aaaaaaab, 0x0000000000000000,
529  0x0000000055555555, 0x0000000000000000,
530  0x00000000aaaaaaab, 0x0000000000000000,
531  0x0000000055555555, 0x0000000000000000,
532  0x00000000aaaaaaab, 0x0000000000000000,
533  0x0000000055555555, 0x0000000000000000,
534  0x00000000aaaaaaab, 0x0000000000000000,
535  0x0000000055555555, 0x0000000000000000,
536  0x00000000aaaaaaab, 0x0000000000000000,
537  0x0000000055555555, 0x0000000000000000,
538  0x00000000aaaaaaab, 0x0000000000000000,
539  0x0000000055555555, 0x0000000000000000,
540  0x00000000aaaaaaab, 0x0000000000000000,
541  0x0000000055555555, 0x0000000000000000,
542  0x00000000aaaaaaab, 0x0000000000000000,
543  0x0000000055555555, 0x0000000000000000,
544  0x00000000aaaaaaab, 0x0000000000000000,
545  0x0000000055555555, 0x0000000000000000,
546  0x00000000aaaaaaab, 0x0000000000000000,
547  0x0000000055555555, 0x0000000000000000,
548  0x00000000aaaaaaab, 0x0000000000000000,
549  0x0000000055555555, 0x0000000080000000,
550  0x00000000ffffffff, 0x00000000ffffffff,
551  0x00000000ffffffff, 0x0000000000000000,
552  0x0000000000000000, 0x0000000000000000,
553  0x0000000000000000, 0x0000000000000000,
554  0x0000000000000000, 0x0000000000000000,
555  0x0000000000000000, 0x0000000000000000,
556  0x0000000000000000, 0x0000000000000000,
557  0x0000000000000000, 0x0000000000000000,
558  0x0000000000000000, 0x0000000000000000,
559  0x0000000000000000, 0x0000000000000000,
560  0x0000000000000000, 0x0000000000000000,
561  0x0000000000000000, 0x0000000000000000,
562  0x0000000000000000, 0x0000000000000000,
563  0x0000000000000000, 0x0000000000000000,
564  0x0000000000000000, 0x0000000000000000,
565  0x0000000000000000, 0x0000000000000000,
566  0x0000000000000000, 0x0000000000000000,
567  0x0000000000000000, 0x0000000000000000,
568  0x0000000000000000, 0x0000000000000000,
569  0x0000000000000000, 0x0000000000000000,
570  0x0000000000000000, 0x0000000000000000,
571  0x0000000000000000, 0x0000000000000000,
572  0x0000000000000000, 0x0000000000000000,
573  0x0000000000000000, 0x0000000000000000,
574  0x0000000000000000, 0x0000000000000000,
575  0x0000000000000000, 0x0000000000000000,
576  0x0000000000000000, 0x0000000000000000,
577  0x0000000000000000, 0x0000000000000000,
578  0x0000000000000000, 0x0000000000000000,
579  0x0000000000000000, 0x0000000000000000,
580  0x0000000000000000, 0x0000000000000000,
581  0x0000000080000000, 0x0000000080000000,
582  0x00000000ffffffff, 0x0000000000000000,
583  0x0000000000000000, 0x0000000000000000,
584  0x0000000000000000, 0x0000000000000000,
585  0x0000000000000000, 0x0000000000000000,
586  0x0000000000000000, 0x0000000000000000,
587  0x0000000000000000, 0x0000000000000000,
588  0x0000000000000000, 0x0000000000000000,
589  0x0000000000000000, 0x0000000000000000,
590  0x0000000000000000, 0x0000000000000000,
591  0x0000000000000000, 0x0000000000000000,
592  0x0000000000000000, 0x0000000000000000,
593  0x0000000000000000, 0x0000000000000000,
594  0x0000000000000000, 0x0000000000000000,
595  0x0000000000000000, 0x0000000000000000,
596  0x0000000000000000, 0x0000000000000000,
597  0x0000000000000000, 0x0000000000000000,
598  0x0000000000000000, 0x0000000000000000,
599  0x0000000000000000, 0x0000000000000000,
600  0x0000000000000000, 0x0000000000000000,
601  0x0000000000000000, 0x0000000000000000,
602  0x0000000000000000, 0x0000000000000000,
603  0x0000000000000000, 0x0000000000000000,
604  0x0000000000000000, 0x0000000000000000,
605  0x0000000000000000, 0x0000000000000000,
606  0x0000000000000000, 0x0000000000000000,
607  0x0000000000000000, 0x0000000000000000,
608  0x0000000000000000, 0x0000000000000000,
609  0x0000000000000000, 0x0000000000000000,
610  0x0000000000000000, 0x0000000000000000,
611  0x0000000000000000, 0x0000000000000000,
612  0x0000000000000000, 0x0000000000000000,
613  0x0000000080000000, 0x0000000080000000,
614  0x0000000000000000, 0x0000000000000000,
615  0x0000000000000000, 0x0000000000000000,
616  0x0000000000000000, 0x0000000000000000,
617  0x0000000000000000, 0x0000000000000000,
618  0x0000000000000000, 0x0000000000000000,
619  0x0000000000000000, 0x0000000000000000,
620  0x0000000000000000, 0x0000000000000000,
621  0x0000000000000000, 0x0000000000000000,
622  0x0000000000000000, 0x0000000000000000,
623  0x0000000000000000, 0x0000000000000000,
624  0x0000000000000000, 0x0000000000000000,
625  0x0000000000000000, 0x0000000000000000,
626  0x0000000000000000, 0x0000000000000000,
627  0x0000000000000000, 0x0000000000000000,
628  0x0000000000000000, 0x0000000000000000,
629  0x0000000000000000, 0x0000000000000000,
630  0x0000000000000000, 0x0000000000000000,
631  0x0000000000000000, 0x0000000000000000,
632  0x0000000000000000, 0x0000000000000000,
633  0x0000000000000000, 0x0000000000000000,
634  0x0000000000000000, 0x0000000000000000,
635  0x0000000000000000, 0x0000000000000000,
636  0x0000000000000000, 0x0000000000000000,
637  0x0000000000000000, 0x0000000000000000,
638  0x0000000000000000, 0x0000000000000000,
639  0x0000000000000000, 0x0000000000000000,
640  0x0000000000000000, 0x0000000000000000,
641  0x0000000000000000, 0x0000000000000000,
642  0x0000000000000000, 0x0000000000000000,
643  0x0000000000000000, 0x0000000000000000,
644  0x0000000000000000, 0x0000000000000000,
645  0x0000000080000000, 0x0000000080000000,
646  0x0000000000000000, 0x0000000000000001,
647  0x0000000000000000, 0x0000000000000000,
648  0x0000000000000000, 0x0000000000000000,
649  0x0000000000000000, 0x0000000000000000,
650  0x0000000000000000, 0x0000000000000000,
651  0x0000000000000000, 0x0000000000000000,
652  0x0000000000000000, 0x0000000000000000,
653  0x0000000000000000, 0x0000000000000000,
654  0x0000000000000000, 0x0000000000000000,
655  0x0000000000000000, 0x0000000000000000,
656  0x0000000000000000, 0x0000000000000000,
657  0x0000000000000000, 0x0000000000000000,
658  0x0000000000000000, 0x0000000000000000,
659  0x0000000000000000, 0x0000000000000000,
660  0x0000000000000000, 0x0000000000000000,
661  0x0000000000000000, 0x0000000000000000,
662  0x0000000000000000, 0x0000000000000000,
663  0x0000000000000000, 0x0000000000000000,
664  0x0000000000000000, 0x0000000000000000,
665  0x0000000000000000, 0x0000000000000000,
666  0x0000000000000000, 0x0000000000000000,
667  0x0000000000000000, 0x0000000000000000,
668  0x0000000000000000, 0x0000000000000000,
669  0x0000000000000000, 0x0000000000000000,
670  0x0000000000000000, 0x0000000000000000,
671  0x0000000000000000, 0x0000000000000000,
672  0x0000000000000000, 0x0000000000000000,
673  0x0000000000000000, 0x0000000000000000,
674  0x0000000000000000, 0x0000000000000000,
675  0x0000000000000000, 0x0000000000000000,
676  0x0000000000000000, 0x0000000000000000,
677  0x0000000080000000, 0x0000000080000000,
678  0x0000000000000001, 0x0000000000000001,
679  0x0000000000000000, 0x0000000000000001,
680  0x0000000000000000, 0x0000000000000000,
681  0x0000000000000000, 0x0000000000000000,
682  0x0000000000000000, 0x0000000000000000,
683  0x0000000000000000, 0x0000000000000000,
684  0x0000000000000000, 0x0000000000000000,
685  0x0000000000000000, 0x0000000000000000,
686  0x0000000000000000, 0x0000000000000000,
687  0x0000000000000000, 0x0000000000000000,
688  0x0000000000000000, 0x0000000000000000,
689  0x0000000000000000, 0x0000000000000000,
690  0x0000000000000000, 0x0000000000000000,
691  0x0000000000000000, 0x0000000000000000,
692  0x0000000000000000, 0x0000000000000000,
693  0x0000000000000000, 0x0000000000000000,
694  0x0000000000000000, 0x0000000000000000,
695  0x0000000000000000, 0x0000000000000000,
696  0x0000000000000000, 0x0000000000000000,
697  0x0000000000000000, 0x0000000000000000,
698  0x0000000000000000, 0x0000000000000000,
699  0x0000000000000000, 0x0000000000000000,
700  0x0000000000000000, 0x0000000000000000,
701  0x0000000000000000, 0x0000000000000000,
702  0x0000000000000000, 0x0000000000000000,
703  0x0000000000000000, 0x0000000000000000,
704  0x0000000000000000, 0x0000000000000000,
705  0x0000000000000000, 0x0000000000000000,
706  0x0000000000000000, 0x0000000000000000,
707  0x0000000000000000, 0x0000000000000000,
708  0x0000000000000000, 0x0000000000000000,
709  0x0000000080000000, 0x0000000080000000,
710  0x0000000000000001, 0x0000000000000002,
711  0x0000000000000001, 0x0000000000000001,
712  0x0000000000000000, 0x0000000000000000,
713  0x0000000000000000, 0x0000000000000000,
714  0x0000000000000000, 0x0000000000000000,
715  0x0000000000000000, 0x0000000000000000,
716  0x0000000000000000, 0x0000000000000000,
717  0x0000000000000000, 0x0000000000000000,
718  0x0000000000000000, 0x0000000000000000,
719  0x0000000000000000, 0x0000000000000000,
720  0x0000000000000000, 0x0000000000000000,
721  0x0000000000000000, 0x0000000000000000,
722  0x0000000000000000, 0x0000000000000000,
723  0x0000000000000000, 0x0000000000000000,
724  0x0000000000000000, 0x0000000000000000,
725  0x0000000000000000, 0x0000000000000000,
726  0x0000000000000000, 0x0000000000000000,
727  0x0000000000000000, 0x0000000000000000,
728  0x0000000000000000, 0x0000000000000000,
729  0x0000000000000000, 0x0000000000000000,
730  0x0000000000000000, 0x0000000000000000,
731  0x0000000000000000, 0x0000000000000000,
732  0x0000000000000000, 0x0000000000000000,
733  0x0000000000000000, 0x0000000000000000,
734  0x0000000000000000, 0x0000000000000000,
735  0x0000000000000000, 0x0000000000000000,
736  0x0000000000000000, 0x0000000000000000,
737  0x0000000000000000, 0x0000000000000000,
738  0x0000000000000000, 0x0000000000000000,
739  0x0000000000000000, 0x0000000000000000,
740  0x0000000000000000, 0x0000000000000000,
741  0x0000000080000000, 0x0000000080000000,
742  0x0000000000000002, 0x0000000055555555,
743  0x0000000000000001, 0x00000000aaaaaaab,
744  0x0000000000000000, 0x0000000055555555,
745  0x0000000000000000, 0x00000000aaaaaaab,
746  0x0000000000000000, 0x0000000055555555,
747  0x0000000000000000, 0x00000000aaaaaaab,
748  0x0000000000000000, 0x0000000055555555,
749  0x0000000000000000, 0x00000000aaaaaaab,
750  0x0000000000000000, 0x0000000055555555,
751  0x0000000000000000, 0x00000000aaaaaaab,
752  0x0000000000000000, 0x0000000055555555,
753  0x0000000000000000, 0x00000000aaaaaaab,
754  0x0000000000000000, 0x0000000055555555,
755  0x0000000000000000, 0x00000000aaaaaaab,
756  0x0000000000000000, 0x0000000055555555,
757  0x0000000000000000, 0x00000000aaaaaaab,
758  0x0000000000000000, 0x0000000055555555,
759  0x0000000000000000, 0x00000000aaaaaaab,
760  0x0000000000000000, 0x0000000055555555,
761  0x0000000000000000, 0x00000000aaaaaaab,
762  0x0000000000000000, 0x0000000055555555,
763  0x0000000000000000, 0x00000000aaaaaaab,
764  0x0000000000000000, 0x0000000055555555,
765  0x0000000000000000, 0x00000000aaaaaaab,
766  0x0000000000000000, 0x0000000055555555,
767  0x0000000000000000, 0x00000000aaaaaaab,
768  0x0000000000000000, 0x0000000055555555,
769  0x0000000000000000, 0x00000000aaaaaaab,
770  0x0000000000000000, 0x0000000055555555,
771  0x0000000000000000, 0x00000000aaaaaaab,
772  0x0000000000000000, 0x0000000055555555,
773  0x0000000080000000, 0x00000000aaaaaaab,
774  0x0000000055555555, 0x0000000066666666,
775  0x00000000aaaaaaab, 0x0000000033333333,
776  0x0000000055555555, 0x000000009999999a,
777  0x00000000aaaaaaab, 0x00000000cccccccd,
778  0x0000000055555555, 0x0000000066666666,
779  0x00000000aaaaaaab, 0x0000000033333333,
780  0x0000000055555555, 0x000000009999999a,
781  0x00000000aaaaaaab, 0x00000000cccccccd,
782  0x0000000055555555, 0x0000000066666666,
783  0x00000000aaaaaaab, 0x0000000033333333,
784  0x0000000055555555, 0x000000009999999a,
785  0x00000000aaaaaaab, 0x00000000cccccccd,
786  0x0000000055555555, 0x0000000066666666,
787  0x00000000aaaaaaab, 0x0000000033333333,
788  0x0000000055555555, 0x000000009999999a,
789  0x00000000aaaaaaab, 0x00000000cccccccd,
790  0x0000000055555555, 0x0000000066666666,
791  0x00000000aaaaaaab, 0x0000000033333333,
792  0x0000000055555555, 0x000000009999999a,
793  0x00000000aaaaaaab, 0x00000000cccccccd,
794  0x0000000055555555, 0x0000000066666666,
795  0x00000000aaaaaaab, 0x0000000033333333,
796  0x0000000055555555, 0x000000009999999a,
797  0x00000000aaaaaaab, 0x00000000cccccccd,
798  0x0000000055555555, 0x0000000066666666,
799  0x00000000aaaaaaab, 0x0000000033333333,
800  0x0000000055555555, 0x000000009999999a,
801  0x00000000aaaaaaab, 0x00000000cccccccd,
802  0x0000000055555555, 0x0000000066666666,
803  0x00000000aaaaaaab, 0x0000000033333333,
804  0x0000000055555555, 0x000000009999999a,
805  0x00000000aaaaaaab, 0x00000000cccccccd,
806  0x0000000066666666, 0x00000000c0000000,
807  0x0000000033333333, 0x00000000e0000000,
808  0x000000009999999a, 0x00000000f0000000,
809  0x00000000cccccccd, 0x00000000f8000000,
810  0x0000000066666666, 0x00000000fc000000,
811  0x0000000033333333, 0x00000000fe000000,
812  0x000000009999999a, 0x00000000ff000000,
813  0x00000000cccccccd, 0x00000000ff800000,
814  0x0000000066666666, 0x00000000ffc00000,
815  0x0000000033333333, 0x00000000ffe00000,
816  0x000000009999999a, 0x00000000fff00000,
817  0x00000000cccccccd, 0x00000000fff80000,
818  0x0000000066666666, 0x00000000fffc0000,
819  0x0000000033333333, 0x00000000fffe0000,
820  0x000000009999999a, 0x00000000ffff0000,
821  0x00000000cccccccd, 0x00000000ffff8000,
822  0x0000000066666666, 0x00000000ffffc000,
823  0x0000000033333333, 0x00000000ffffe000,
824  0x000000009999999a, 0x00000000fffff000,
825  0x00000000cccccccd, 0x00000000fffff800,
826  0x0000000066666666, 0x00000000fffffc00,
827  0x0000000033333333, 0x00000000fffffe00,
828  0x000000009999999a, 0x00000000ffffff00,
829  0x00000000cccccccd, 0x00000000ffffff80,
830  0x0000000066666666, 0x00000000ffffffc0,
831  0x0000000033333333, 0x00000000ffffffe0,
832  0x000000009999999a, 0x00000000fffffff0,
833  0x00000000cccccccd, 0x00000000fffffff8,
834  0x0000000066666666, 0x00000000fffffffc,
835  0x0000000033333333, 0x00000000fffffffe,
836  0x000000009999999a, 0x00000000ffffffff,
837  0x00000000cccccccd, 0x0000000000000000,
838  0x00000000c0000000, 0x00000000c0000001,
839  0x00000000e0000000, 0x00000000e0000000,
840  0x00000000f0000000, 0x00000000f0000000,
841  0x00000000f8000000, 0x00000000f8000000,
842  0x00000000fc000000, 0x00000000fc000000,
843  0x00000000fe000000, 0x00000000fe000000,
844  0x00000000ff000000, 0x00000000ff000000,
845  0x00000000ff800000, 0x00000000ff800000,
846  0x00000000ffc00000, 0x00000000ffc00000,
847  0x00000000ffe00000, 0x00000000ffe00000,
848  0x00000000fff00000, 0x00000000fff00000,
849  0x00000000fff80000, 0x00000000fff80000,
850  0x00000000fffc0000, 0x00000000fffc0000,
851  0x00000000fffe0000, 0x00000000fffe0000,
852  0x00000000ffff0000, 0x00000000ffff0000,
853  0x00000000ffff8000, 0x00000000ffff8000,
854  0x00000000ffffc000, 0x00000000ffffc000,
855  0x00000000ffffe000, 0x00000000ffffe000,
856  0x00000000fffff000, 0x00000000fffff000,
857  0x00000000fffff800, 0x00000000fffff800,
858  0x00000000fffffc00, 0x00000000fffffc00,
859  0x00000000fffffe00, 0x00000000fffffe00,
860  0x00000000ffffff00, 0x00000000ffffff00,
861  0x00000000ffffff80, 0x00000000ffffff80,
862  0x00000000ffffffc0, 0x00000000ffffffc0,
863  0x00000000ffffffe0, 0x00000000ffffffe0,
864  0x00000000fffffff0, 0x00000000fffffff0,
865  0x00000000fffffff8, 0x00000000fffffff8,
866  0x00000000fffffffc, 0x00000000fffffffc,
867  0x00000000fffffffe, 0x00000000fffffffe,
868  0x00000000ffffffff, 0x00000000ffffffff,
869  0x0000000000000000, 0x0000000000000000,
870  0x00000000c0000001, 0x00000000c0000001,
871  0x00000000e0000000, 0x00000000e0000001,
872  0x00000000f0000000, 0x00000000f0000000,
873  0x00000000f8000000, 0x00000000f8000000,
874  0x00000000fc000000, 0x00000000fc000000,
875  0x00000000fe000000, 0x00000000fe000000,
876  0x00000000ff000000, 0x00000000ff000000,
877  0x00000000ff800000, 0x00000000ff800000,
878  0x00000000ffc00000, 0x00000000ffc00000,
879  0x00000000ffe00000, 0x00000000ffe00000,
880  0x00000000fff00000, 0x00000000fff00000,
881  0x00000000fff80000, 0x00000000fff80000,
882  0x00000000fffc0000, 0x00000000fffc0000,
883  0x00000000fffe0000, 0x00000000fffe0000,
884  0x00000000ffff0000, 0x00000000ffff0000,
885  0x00000000ffff8000, 0x00000000ffff8000,
886  0x00000000ffffc000, 0x00000000ffffc000,
887  0x00000000ffffe000, 0x00000000ffffe000,
888  0x00000000fffff000, 0x00000000fffff000,
889  0x00000000fffff800, 0x00000000fffff800,
890  0x00000000fffffc00, 0x00000000fffffc00,
891  0x00000000fffffe00, 0x00000000fffffe00,
892  0x00000000ffffff00, 0x00000000ffffff00,
893  0x00000000ffffff80, 0x00000000ffffff80,
894  0x00000000ffffffc0, 0x00000000ffffffc0,
895  0x00000000ffffffe0, 0x00000000ffffffe0,
896  0x00000000fffffff0, 0x00000000fffffff0,
897  0x00000000fffffff8, 0x00000000fffffff8,
898  0x00000000fffffffc, 0x00000000fffffffc,
899  0x00000000fffffffe, 0x00000000fffffffe,
900  0x00000000ffffffff, 0x00000000ffffffff,
901  0x0000000000000000, 0x0000000000000000,
902  0x00000000c0000001, 0x00000000c0000002,
903  0x00000000e0000001, 0x00000000e0000001,
904  0x00000000f0000000, 0x00000000f0000000,
905  0x00000000f8000000, 0x00000000f8000000,
906  0x00000000fc000000, 0x00000000fc000000,
907  0x00000000fe000000, 0x00000000fe000000,
908  0x00000000ff000000, 0x00000000ff000000,
909  0x00000000ff800000, 0x00000000ff800000,
910  0x00000000ffc00000, 0x00000000ffc00000,
911  0x00000000ffe00000, 0x00000000ffe00000,
912  0x00000000fff00000, 0x00000000fff00000,
913  0x00000000fff80000, 0x00000000fff80000,
914  0x00000000fffc0000, 0x00000000fffc0000,
915  0x00000000fffe0000, 0x00000000fffe0000,
916  0x00000000ffff0000, 0x00000000ffff0000,
917  0x00000000ffff8000, 0x00000000ffff8000,
918  0x00000000ffffc000, 0x00000000ffffc000,
919  0x00000000ffffe000, 0x00000000ffffe000,
920  0x00000000fffff000, 0x00000000fffff000,
921  0x00000000fffff800, 0x00000000fffff800,
922  0x00000000fffffc00, 0x00000000fffffc00,
923  0x00000000fffffe00, 0x00000000fffffe00,
924  0x00000000ffffff00, 0x00000000ffffff00,
925  0x00000000ffffff80, 0x00000000ffffff80,
926  0x00000000ffffffc0, 0x00000000ffffffc0,
927  0x00000000ffffffe0, 0x00000000ffffffe0,
928  0x00000000fffffff0, 0x00000000fffffff0,
929  0x00000000fffffff8, 0x00000000fffffff8,
930  0x00000000fffffffc, 0x00000000fffffffc,
931  0x00000000fffffffe, 0x00000000fffffffe,
932  0x00000000ffffffff, 0x00000000ffffffff,
933  0x0000000000000000, 0x0000000000000000,
934  0x00000000c0000002, 0x00000000ffffc000,
935  0x00000000e0000001, 0x00000000ffffe000,
936  0x00000000f0000000, 0x00000000fffff000,
937  0x00000000f8000000, 0x00000000fffff800,
938  0x00000000fc000000, 0x00000000fffffc00,
939  0x00000000fe000000, 0x00000000fffffe00,
940  0x00000000ff000000, 0x00000000ffffff00,
941  0x00000000ff800000, 0x00000000ffffff80,
942  0x00000000ffc00000, 0x00000000ffffffc0,
943  0x00000000ffe00000, 0x00000000ffffffe0,
944  0x00000000fff00000, 0x00000000fffffff0,
945  0x00000000fff80000, 0x00000000fffffff8,
946  0x00000000fffc0000, 0x00000000fffffffc,
947  0x00000000fffe0000, 0x00000000fffffffe,
948  0x00000000ffff0000, 0x00000000ffffffff,
949  0x00000000ffff8000, 0x0000000000000000,
950  0x00000000ffffc000, 0x0000000000000000,
951  0x00000000ffffe000, 0x0000000000000000,
952  0x00000000fffff000, 0x0000000000000000,
953  0x00000000fffff800, 0x0000000000000000,
954  0x00000000fffffc00, 0x0000000000000000,
955  0x00000000fffffe00, 0x0000000000000000,
956  0x00000000ffffff00, 0x0000000000000000,
957  0x00000000ffffff80, 0x0000000000000000,
958  0x00000000ffffffc0, 0x0000000000000000,
959  0x00000000ffffffe0, 0x0000000000000000,
960  0x00000000fffffff0, 0x0000000000000000,
961  0x00000000fffffff8, 0x0000000000000000,
962  0x00000000fffffffc, 0x0000000000000000,
963  0x00000000fffffffe, 0x0000000000000000,
964  0x00000000ffffffff, 0x0000000000000000,
965  0x0000000000000000, 0x0000000000000000,
966  0x00000000ffffc000, 0x00000000ffffc001,
967  0x00000000ffffe000, 0x00000000ffffe000,
968  0x00000000fffff000, 0x00000000fffff000,
969  0x00000000fffff800, 0x00000000fffff800,
970  0x00000000fffffc00, 0x00000000fffffc00,
971  0x00000000fffffe00, 0x00000000fffffe00,
972  0x00000000ffffff00, 0x00000000ffffff00,
973  0x00000000ffffff80, 0x00000000ffffff80,
974  0x00000000ffffffc0, 0x00000000ffffffc0,
975  0x00000000ffffffe0, 0x00000000ffffffe0,
976  0x00000000fffffff0, 0x00000000fffffff0,
977  0x00000000fffffff8, 0x00000000fffffff8,
978  0x00000000fffffffc, 0x00000000fffffffc,
979  0x00000000fffffffe, 0x00000000fffffffe,
980  0x00000000ffffffff, 0x00000000ffffffff,
981  0x0000000000000000, 0x0000000000000000,
982  0x0000000000000000, 0x0000000000000000,
983  0x0000000000000000, 0x0000000000000000,
984  0x0000000000000000, 0x0000000000000000,
985  0x0000000000000000, 0x0000000000000000,
986  0x0000000000000000, 0x0000000000000000,
987  0x0000000000000000, 0x0000000000000000,
988  0x0000000000000000, 0x0000000000000000,
989  0x0000000000000000, 0x0000000000000000,
990  0x0000000000000000, 0x0000000000000000,
991  0x0000000000000000, 0x0000000000000000,
992  0x0000000000000000, 0x0000000000000000,
993  0x0000000000000000, 0x0000000000000000,
994  0x0000000000000000, 0x0000000000000000,
995  0x0000000000000000, 0x0000000000000000,
996  0x0000000000000000, 0x0000000000000000,
997  0x0000000000000000, 0x0000000000000000,
998  0x00000000ffffc001, 0x00000000ffffc001,
999  0x00000000ffffe000, 0x00000000ffffe001,
1000  0x00000000fffff000, 0x00000000fffff000,
1001  0x00000000fffff800, 0x00000000fffff800,
1002  0x00000000fffffc00, 0x00000000fffffc00,
1003  0x00000000fffffe00, 0x00000000fffffe00,
1004  0x00000000ffffff00, 0x00000000ffffff00,
1005  0x00000000ffffff80, 0x00000000ffffff80,
1006  0x00000000ffffffc0, 0x00000000ffffffc0,
1007  0x00000000ffffffe0, 0x00000000ffffffe0,
1008  0x00000000fffffff0, 0x00000000fffffff0,
1009  0x00000000fffffff8, 0x00000000fffffff8,
1010  0x00000000fffffffc, 0x00000000fffffffc,
1011  0x00000000fffffffe, 0x00000000fffffffe,
1012  0x00000000ffffffff, 0x00000000ffffffff,
1013  0x0000000000000000, 0x0000000000000000,
1014  0x0000000000000000, 0x0000000000000000,
1015  0x0000000000000000, 0x0000000000000000,
1016  0x0000000000000000, 0x0000000000000000,
1017  0x0000000000000000, 0x0000000000000000,
1018  0x0000000000000000, 0x0000000000000000,
1019  0x0000000000000000, 0x0000000000000000,
1020  0x0000000000000000, 0x0000000000000000,
1021  0x0000000000000000, 0x0000000000000000,
1022  0x0000000000000000, 0x0000000000000000,
1023  0x0000000000000000, 0x0000000000000000,
1024  0x0000000000000000, 0x0000000000000000,
1025  0x0000000000000000, 0x0000000000000000,
1026  0x0000000000000000, 0x0000000000000000,
1027  0x0000000000000000, 0x0000000000000000,
1028  0x0000000000000000, 0x0000000000000000,
1029  0x0000000000000000, 0x0000000000000000,
1030  0x00000000ffffc001, 0x00000000ffffc002,
1031  0x00000000ffffe001, 0x00000000ffffe001,
1032  0x00000000fffff000, 0x00000000fffff000,
1033  0x00000000fffff800, 0x00000000fffff800,
1034  0x00000000fffffc00, 0x00000000fffffc00,
1035  0x00000000fffffe00, 0x00000000fffffe00,
1036  0x00000000ffffff00, 0x00000000ffffff00,
1037  0x00000000ffffff80, 0x00000000ffffff80,
1038  0x00000000ffffffc0, 0x00000000ffffffc0,
1039  0x00000000ffffffe0, 0x00000000ffffffe0,
1040  0x00000000fffffff0, 0x00000000fffffff0,
1041  0x00000000fffffff8, 0x00000000fffffff8,
1042  0x00000000fffffffc, 0x00000000fffffffc,
1043  0x00000000fffffffe, 0x00000000fffffffe,
1044  0x00000000ffffffff, 0x00000000ffffffff,
1045  0x0000000000000000, 0x0000000000000000,
1046  0x0000000000000000, 0x0000000000000000,
1047  0x0000000000000000, 0x0000000000000000,
1048  0x0000000000000000, 0x0000000000000000,
1049  0x0000000000000000, 0x0000000000000000,
1050  0x0000000000000000, 0x0000000000000000,
1051  0x0000000000000000, 0x0000000000000000,
1052  0x0000000000000000, 0x0000000000000000,
1053  0x0000000000000000, 0x0000000000000000,
1054  0x0000000000000000, 0x0000000000000000,
1055  0x0000000000000000, 0x0000000000000000,
1056  0x0000000000000000, 0x0000000000000000,
1057  0x0000000000000000, 0x0000000000000000,
1058  0x0000000000000000, 0x0000000000000000,
1059  0x0000000000000000, 0x0000000000000000,
1060  0x0000000000000000, 0x0000000000000000,
1061  0x0000000000000000, 0x0000000000000000,
1062  0x00000000ffffc002, 0x00000000ffffffc0,
1063  0x00000000ffffe001, 0x00000000ffffffe0,
1064  0x00000000fffff000, 0x00000000fffffff0,
1065  0x00000000fffff800, 0x00000000fffffff8,
1066  0x00000000fffffc00, 0x00000000fffffffc,
1067  0x00000000fffffe00, 0x00000000fffffffe,
1068  0x00000000ffffff00, 0x00000000ffffffff,
1069  0x00000000ffffff80, 0x0000000000000000,
1070  0x00000000ffffffc0, 0x0000000000000000,
1071  0x00000000ffffffe0, 0x0000000000000000,
1072  0x00000000fffffff0, 0x0000000000000000,
1073  0x00000000fffffff8, 0x0000000000000000,
1074  0x00000000fffffffc, 0x0000000000000000,
1075  0x00000000fffffffe, 0x0000000000000000,
1076  0x00000000ffffffff, 0x0000000000000000,
1077  0x0000000000000000, 0x0000000000000000,
1078  0x0000000000000000, 0x0000000000000000,
1079  0x0000000000000000, 0x0000000000000000,
1080  0x0000000000000000, 0x0000000000000000,
1081  0x0000000000000000, 0x0000000000000000,
1082  0x0000000000000000, 0x0000000000000000,
1083  0x0000000000000000, 0x0000000000000000,
1084  0x0000000000000000, 0x0000000000000000,
1085  0x0000000000000000, 0x0000000000000000,
1086  0x0000000000000000, 0x0000000000000000,
1087  0x0000000000000000, 0x0000000000000000,
1088  0x0000000000000000, 0x0000000000000000,
1089  0x0000000000000000, 0x0000000000000000,
1090  0x0000000000000000, 0x0000000000000000,
1091  0x0000000000000000, 0x0000000000000000,
1092  0x0000000000000000, 0x0000000000000000,
1093  0x0000000000000000, 0x0000000000000000,
1094  0x00000000ffffffc0, 0x00000000ffffffc1,
1095  0x00000000ffffffe0, 0x00000000ffffffe0,
1096  0x00000000fffffff0, 0x00000000fffffff0,
1097  0x00000000fffffff8, 0x00000000fffffff8,
1098  0x00000000fffffffc, 0x00000000fffffffc,
1099  0x00000000fffffffe, 0x00000000fffffffe,
1100  0x00000000ffffffff, 0x00000000ffffffff,
1101  0x0000000000000000, 0x0000000000000000,
1102  0x0000000000000000, 0x0000000000000000,
1103  0x0000000000000000, 0x0000000000000000,
1104  0x0000000000000000, 0x0000000000000000,
1105  0x0000000000000000, 0x0000000000000000,
1106  0x0000000000000000, 0x0000000000000000,
1107  0x0000000000000000, 0x0000000000000000,
1108  0x0000000000000000, 0x0000000000000000,
1109  0x0000000000000000, 0x0000000000000000,
1110  0x0000000000000000, 0x0000000000000000,
1111  0x0000000000000000, 0x0000000000000000,
1112  0x0000000000000000, 0x0000000000000000,
1113  0x0000000000000000, 0x0000000000000000,
1114  0x0000000000000000, 0x0000000000000000,
1115  0x0000000000000000, 0x0000000000000000,
1116  0x0000000000000000, 0x0000000000000000,
1117  0x0000000000000000, 0x0000000000000000,
1118  0x0000000000000000, 0x0000000000000000,
1119  0x0000000000000000, 0x0000000000000000,
1120  0x0000000000000000, 0x0000000000000000,
1121  0x0000000000000000, 0x0000000000000000,
1122  0x0000000000000000, 0x0000000000000000,
1123  0x0000000000000000, 0x0000000000000000,
1124  0x0000000000000000, 0x0000000000000000,
1125  0x0000000000000000, 0x0000000000000000,
1126  0x00000000ffffffc1, 0x00000000ffffffc1,
1127  0x00000000ffffffe0, 0x00000000ffffffe1,
1128  0x00000000fffffff0, 0x00000000fffffff0,
1129  0x00000000fffffff8, 0x00000000fffffff8,
1130  0x00000000fffffffc, 0x00000000fffffffc,
1131  0x00000000fffffffe, 0x00000000fffffffe,
1132  0x00000000ffffffff, 0x00000000ffffffff,
1133  0x0000000000000000, 0x0000000000000000,
1134  0x0000000000000000, 0x0000000000000000,
1135  0x0000000000000000, 0x0000000000000000,
1136  0x0000000000000000, 0x0000000000000000,
1137  0x0000000000000000, 0x0000000000000000,
1138  0x0000000000000000, 0x0000000000000000,
1139  0x0000000000000000, 0x0000000000000000,
1140  0x0000000000000000, 0x0000000000000000,
1141  0x0000000000000000, 0x0000000000000000,
1142  0x0000000000000000, 0x0000000000000000,
1143  0x0000000000000000, 0x0000000000000000,
1144  0x0000000000000000, 0x0000000000000000,
1145  0x0000000000000000, 0x0000000000000000,
1146  0x0000000000000000, 0x0000000000000000,
1147  0x0000000000000000, 0x0000000000000000,
1148  0x0000000000000000, 0x0000000000000000,
1149  0x0000000000000000, 0x0000000000000000,
1150  0x0000000000000000, 0x0000000000000000,
1151  0x0000000000000000, 0x0000000000000000,
1152  0x0000000000000000, 0x0000000000000000,
1153  0x0000000000000000, 0x0000000000000000,
1154  0x0000000000000000, 0x0000000000000000,
1155  0x0000000000000000, 0x0000000000000000,
1156  0x0000000000000000, 0x0000000000000000,
1157  0x0000000000000000, 0x0000000000000000,
1158  0x00000000ffffffc1, 0x00000000ffffffc2,
1159  0x00000000ffffffe1, 0x00000000ffffffe1,
1160  0x00000000fffffff0, 0x00000000fffffff0,
1161  0x00000000fffffff8, 0x00000000fffffff8,
1162  0x00000000fffffffc, 0x00000000fffffffc,
1163  0x00000000fffffffe, 0x00000000fffffffe,
1164  0x00000000ffffffff, 0x00000000ffffffff,
1165  0x0000000000000000, 0x0000000000000000,
1166  0x0000000000000000, 0x0000000000000000,
1167  0x0000000000000000, 0x0000000000000000,
1168  0x0000000000000000, 0x0000000000000000,
1169  0x0000000000000000, 0x0000000000000000,
1170  0x0000000000000000, 0x0000000000000000,
1171  0x0000000000000000, 0x0000000000000000,
1172  0x0000000000000000, 0x0000000000000000,
1173  0x0000000000000000, 0x0000000000000000,
1174  0x0000000000000000, 0x0000000000000000,
1175  0x0000000000000000, 0x0000000000000000,
1176  0x0000000000000000, 0x0000000000000000,
1177  0x0000000000000000, 0x0000000000000000,
1178  0x0000000000000000, 0x0000000000000000,
1179  0x0000000000000000, 0x0000000000000000,
1180  0x0000000000000000, 0x0000000000000000,
1181  0x0000000000000000, 0x0000000000000000,
1182  0x0000000000000000, 0x0000000000000000,
1183  0x0000000000000000, 0x0000000000000000,
1184  0x0000000000000000, 0x0000000000000000,
1185  0x0000000000000000, 0x0000000000000000,
1186  0x0000000000000000, 0x0000000000000000,
1187  0x0000000000000000, 0x0000000000000000,
1188  0x0000000000000000, 0x0000000000000000,
1189  0x0000000000000000, 0x0000000000000000,
1190  0x00000000ffffffc2, 0x00000000ffffffe0,
1191  0x00000000ffffffe1, 0x00000000fffffff0,
1192  0x00000000fffffff0, 0x00000000fffffff8,
1193  0x00000000fffffff8, 0x00000000fffffffc,
1194  0x00000000fffffffc, 0x00000000fffffffe,
1195  0x00000000fffffffe, 0x00000000ffffffff,
1196  0x00000000ffffffff, 0x0000000000000000,
1197  0x0000000000000000, 0x0000000000000000,
1198  0x0000000000000000, 0x0000000000000000,
1199  0x0000000000000000, 0x0000000000000000,
1200  0x0000000000000000, 0x0000000000000000,
1201  0x0000000000000000, 0x0000000000000000,
1202  0x0000000000000000, 0x0000000000000000,
1203  0x0000000000000000, 0x0000000000000000,
1204  0x0000000000000000, 0x0000000000000000,
1205  0x0000000000000000, 0x0000000000000000,
1206  0x0000000000000000, 0x0000000000000000,
1207  0x0000000000000000, 0x0000000000000000,
1208  0x0000000000000000, 0x0000000000000000,
1209  0x0000000000000000, 0x0000000000000000,
1210  0x0000000000000000, 0x0000000000000000,
1211  0x0000000000000000, 0x0000000000000000,
1212  0x0000000000000000, 0x0000000000000000,
1213  0x0000000000000000, 0x0000000000000000,
1214  0x0000000000000000, 0x0000000000000000,
1215  0x0000000000000000, 0x0000000000000000,
1216  0x0000000000000000, 0x0000000000000000,
1217  0x0000000000000000, 0x0000000000000000,
1218  0x0000000000000000, 0x0000000000000000,
1219  0x0000000000000000, 0x0000000000000000,
1220  0x0000000000000000, 0x0000000000000000,
1221  0x0000000000000000, 0x0000000000000000,
1222  0x00000000ffffffe0, 0x00000000ffffffff,
1223  0x00000000fffffff0, 0x00000000ffffffff,
1224  0x00000000fffffff8, 0x0000000000000000,
1225  0x00000000fffffffc, 0x0000000000000000,
1226  0x00000000fffffffe, 0x0000000000000000,
1227  0x00000000ffffffff, 0x0000000000000000,
1228  0x0000000000000000, 0x0000000000000000,
1229  0x0000000000000000, 0x0000000000000000,
1230  0x0000000000000000, 0x0000000000000000,
1231  0x0000000000000000, 0x0000000000000000,
1232  0x0000000000000000, 0x0000000000000000,
1233  0x0000000000000000, 0x0000000000000000,
1234  0x0000000000000000, 0x0000000000000000,
1235  0x0000000000000000, 0x0000000000000000,
1236  0x0000000000000000, 0x0000000000000000,
1237  0x0000000000000000, 0x0000000000000000,
1238  0x0000000000000000, 0x0000000000000000,
1239  0x0000000000000000, 0x0000000000000000,
1240  0x0000000000000000, 0x0000000000000000,
1241  0x0000000000000000, 0x0000000000000000,
1242  0x0000000000000000, 0x0000000000000000,
1243  0x0000000000000000, 0x0000000000000000,
1244  0x0000000000000000, 0x0000000000000000,
1245  0x0000000000000000, 0x0000000000000000,
1246  0x0000000000000000, 0x0000000000000000,
1247  0x0000000000000000, 0x0000000000000000,
1248  0x0000000000000000, 0x0000000000000000,
1249  0x0000000000000000, 0x0000000000000000,
1250  0x0000000000000000, 0x0000000000000000,
1251  0x0000000000000000, 0x0000000000000000,
1252  0x0000000000000000, 0x0000000000000000,
1253  0x0000000000000000, 0x0000000000000000,
1254  0x00000000ffffffff, 0x00000000ffffffff,
1255  0x00000000ffffffff, 0x0000000000000000,
1256  0x0000000000000000, 0x0000000000000000,
1257  0x0000000000000000, 0x0000000000000000,
1258  0x0000000000000000, 0x0000000000000000,
1259  0x0000000000000000, 0x0000000000000000,
1260  0x0000000000000000, 0x0000000000000000,
1261  0x0000000000000000, 0x0000000000000000,
1262  0x0000000000000000, 0x0000000000000000,
1263  0x0000000000000000, 0x0000000000000000,
1264  0x0000000000000000, 0x0000000000000000,
1265  0x0000000000000000, 0x0000000000000000,
1266  0x0000000000000000, 0x0000000000000000,
1267  0x0000000000000000, 0x0000000000000000,
1268  0x0000000000000000, 0x0000000000000000,
1269  0x0000000000000000, 0x0000000000000000,
1270  0x0000000000000000, 0x0000000000000000,
1271  0x0000000000000000, 0x0000000000000000,
1272  0x0000000000000000, 0x0000000000000000,
1273  0x0000000000000000, 0x0000000000000000,
1274  0x0000000000000000, 0x0000000000000000,
1275  0x0000000000000000, 0x0000000000000000,
1276  0x0000000000000000, 0x0000000000000000,
1277  0x0000000000000000, 0x0000000000000000,
1278  0x0000000000000000, 0x0000000000000000,
1279  0x0000000000000000, 0x0000000000000000,
1280  0x0000000000000000, 0x0000000000000000,
1281  0x0000000000000000, 0x0000000000000000,
1282  0x0000000000000000, 0x0000000000000000,
1283  0x0000000000000000, 0x0000000000000000,
1284  0x0000000000000000, 0x0000000000000000,
1285  0x0000000000000000, 0x0000000000000000,
1286  0x00000000ffffffff, 0x0000000000000000,
1287  0x0000000000000000, 0x0000000000000000,
1288  0x0000000000000000, 0x0000000000000000,
1289  0x0000000000000000, 0x0000000000000000,
1290  0x0000000000000000, 0x0000000000000000,
1291  0x0000000000000000, 0x0000000000000000,
1292  0x0000000000000000, 0x0000000000000000,
1293  0x0000000000000000, 0x0000000000000000,
1294  0x0000000000000000, 0x0000000000000000,
1295  0x0000000000000000, 0x0000000000000000,
1296  0x0000000000000000, 0x0000000000000000,
1297  0x0000000000000000, 0x0000000000000000,
1298  0x0000000000000000, 0x0000000000000000,
1299  0x0000000000000000, 0x0000000000000000,
1300  0x0000000000000000, 0x0000000000000000,
1301  0x0000000000000000, 0x0000000000000000,
1302  0x0000000000000000, 0x0000000000000000,
1303  0x0000000000000000, 0x0000000000000000,
1304  0x0000000000000000, 0x0000000000000000,
1305  0x0000000000000000, 0x0000000000000000,
1306  0x0000000000000000, 0x0000000000000000,
1307  0x0000000000000000, 0x0000000000000000,
1308  0x0000000000000000, 0x0000000000000000,
1309  0x0000000000000000, 0x0000000000000000,
1310  0x0000000000000000, 0x0000000000000000,
1311  0x0000000000000000, 0x0000000000000000,
1312  0x0000000000000000, 0x0000000000000000,
1313  0x0000000000000000, 0x0000000000000000,
1314  0x0000000000000000, 0x0000000000000000,
1315  0x0000000000000000, 0x0000000000000000,
1316  0x0000000000000000, 0x0000000000000000,
1317  0x0000000000000000, 0x0000000000000000,
1318};
1319const unsigned kExpectedCount_NEON_rshrn_2S_2OPIMM = 1280;
1320
1321#endif  // VIXL_SIM_RSHRN_2S_2OPIMM_TRACE_AARCH64_H_
1322