1== BEGIN: "Makefile" ================
2# Makefile for aes128Enc. Automatically generated by SBV. Do not edit!
3
4# include any user-defined .mk file in the current directory.
5-include *.mk
6
7CC?=gcc
8CCFLAGS?=-Wall -O3 -DNDEBUG -fomit-frame-pointer
9
10all: aes128Enc_driver
11
12aes128Enc.o: aes128Enc.c aes128Enc.h
13	${CC} ${CCFLAGS} -c $< -o $@
14
15aes128Enc_driver.o: aes128Enc_driver.c
16	${CC} ${CCFLAGS} -c $< -o $@
17
18aes128Enc_driver: aes128Enc.o aes128Enc_driver.o
19	${CC} ${CCFLAGS} $^ -o $@
20
21clean:
22	rm -f *.o
23
24veryclean: clean
25	rm -f aes128Enc_driver
26== END: "Makefile" ==================
27== BEGIN: "aes128Enc.h" ================
28/* Header file for aes128Enc. Automatically generated by SBV. Do not edit! */
29
30#ifndef __aes128Enc__HEADER_INCLUDED__
31#define __aes128Enc__HEADER_INCLUDED__
32
33#include <stdio.h>
34#include <stdlib.h>
35#include <inttypes.h>
36#include <stdint.h>
37#include <stdbool.h>
38#include <string.h>
39#include <math.h>
40
41/* The boolean type */
42typedef bool SBool;
43
44/* The float type */
45typedef float SFloat;
46
47/* The double type */
48typedef double SDouble;
49
50/* Unsigned bit-vectors */
51typedef uint8_t  SWord8;
52typedef uint16_t SWord16;
53typedef uint32_t SWord32;
54typedef uint64_t SWord64;
55
56/* Signed bit-vectors */
57typedef int8_t  SInt8;
58typedef int16_t SInt16;
59typedef int32_t SInt32;
60typedef int64_t SInt64;
61
62/* Entry point prototype: */
63void aes128Enc(const SWord32 *pt, const SWord32 *key, SWord32 *ct);
64
65#endif /* __aes128Enc__HEADER_INCLUDED__ */
66== END: "aes128Enc.h" ==================
67== BEGIN: "aes128Enc_driver.c" ================
68/* Example driver program for aes128Enc. */
69/* Automatically generated by SBV. Edit as you see fit! */
70
71#include <stdio.h>
72#include "aes128Enc.h"
73
74int main(void)
75{
76  const SWord32 pt[4] = {
77      0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL
78  };
79
80  printf("Contents of input array pt:\n");
81  int pt_ctr;
82  for(pt_ctr = 0; pt_ctr < 4 ; ++pt_ctr)
83    printf("  pt[%1d] = 0x%08"PRIx32"UL\n", pt_ctr ,pt[pt_ctr]);
84
85  const SWord32 key[4] = {
86      0x00000000UL, 0x00000000UL, 0x00000000UL, 0x00000000UL
87  };
88
89  printf("Contents of input array key:\n");
90  int key_ctr;
91  for(key_ctr = 0; key_ctr < 4 ; ++key_ctr)
92    printf("  key[%1d] = 0x%08"PRIx32"UL\n", key_ctr ,key[key_ctr]);
93
94  SWord32 ct[4];
95
96  aes128Enc(pt, key, ct);
97
98  printf("aes128Enc(pt, key, ct) ->\n");
99  int ct_ctr;
100  for(ct_ctr = 0; ct_ctr < 4 ; ++ct_ctr)
101    printf("  ct[%1d] = 0x%08"PRIx32"UL\n", ct_ctr ,ct[ct_ctr]);
102
103  return 0;
104}
105== END: "aes128Enc_driver.c" ==================
106== BEGIN: "aes128Enc.c" ================
107/* File: "aes128Enc.c". Automatically generated by SBV. Do not edit! */
108
109#include "aes128Enc.h"
110
111void aes128Enc(const SWord32 *pt, const SWord32 *key, SWord32 *ct)
112{
113  const SWord32 s0 = pt[0];
114  const SWord32 s1 = pt[1];
115  const SWord32 s2 = pt[2];
116  const SWord32 s3 = pt[3];
117  const SWord32 s4 = key[0];
118  const SWord32 s5 = key[1];
119  const SWord32 s6 = key[2];
120  const SWord32 s7 = key[3];
121  static const SWord8 table0[] = {
122       99, 124, 119, 123, 242, 107, 111, 197,  48,   1, 103,  43, 254,
123      215, 171, 118, 202, 130, 201, 125, 250,  89,  71, 240, 173, 212,
124      162, 175, 156, 164, 114, 192, 183, 253, 147,  38,  54,  63, 247,
125      204,  52, 165, 229, 241, 113, 216,  49,  21,   4, 199,  35, 195,
126       24, 150,   5, 154,   7,  18, 128, 226, 235,  39, 178, 117,   9,
127      131,  44,  26,  27, 110,  90, 160,  82,  59, 214, 179,  41, 227,
128       47, 132,  83, 209,   0, 237,  32, 252, 177,  91, 106, 203, 190,
129       57,  74,  76,  88, 207, 208, 239, 170, 251,  67,  77,  51, 133,
130       69, 249,   2, 127,  80,  60, 159, 168,  81, 163,  64, 143, 146,
131      157,  56, 245, 188, 182, 218,  33,  16, 255, 243, 210, 205,  12,
132       19, 236,  95, 151,  68,  23, 196, 167, 126,  61, 100,  93,  25,
133      115,  96, 129,  79, 220,  34,  42, 144, 136,  70, 238, 184,  20,
134      222,  94,  11, 219, 224,  50,  58,  10,  73,   6,  36,  92, 194,
135      211, 172,  98, 145, 149, 228, 121, 231, 200,  55, 109, 141, 213,
136       78, 169, 108,  86, 244, 234, 101, 122, 174,   8, 186, 120,  37,
137       46,  28, 166, 180, 198, 232, 221, 116,  31,  75, 189, 139, 138,
138      112,  62, 181, 102,  72,   3, 246,  14,  97,  53,  87, 185, 134,
139      193,  29, 158, 225, 248, 152,  17, 105, 217, 142, 148, 155,  30,
140      135, 233, 206,  85,  40, 223, 140, 161, 137,  13, 191, 230,  66,
141      104,  65, 153,  45,  15, 176,  84, 187,  22
142  };
143  static const SWord32 table1[] = {
144      0xc66363a5UL, 0xf87c7c84UL, 0xee777799UL, 0xf67b7b8dUL,
145      0xfff2f20dUL, 0xd66b6bbdUL, 0xde6f6fb1UL, 0x91c5c554UL,
146      0x60303050UL, 0x02010103UL, 0xce6767a9UL, 0x562b2b7dUL,
147      0xe7fefe19UL, 0xb5d7d762UL, 0x4dababe6UL, 0xec76769aUL,
148      0x8fcaca45UL, 0x1f82829dUL, 0x89c9c940UL, 0xfa7d7d87UL,
149      0xeffafa15UL, 0xb25959ebUL, 0x8e4747c9UL, 0xfbf0f00bUL,
150      0x41adadecUL, 0xb3d4d467UL, 0x5fa2a2fdUL, 0x45afafeaUL,
151      0x239c9cbfUL, 0x53a4a4f7UL, 0xe4727296UL, 0x9bc0c05bUL,
152      0x75b7b7c2UL, 0xe1fdfd1cUL, 0x3d9393aeUL, 0x4c26266aUL,
153      0x6c36365aUL, 0x7e3f3f41UL, 0xf5f7f702UL, 0x83cccc4fUL,
154      0x6834345cUL, 0x51a5a5f4UL, 0xd1e5e534UL, 0xf9f1f108UL,
155      0xe2717193UL, 0xabd8d873UL, 0x62313153UL, 0x2a15153fUL,
156      0x0804040cUL, 0x95c7c752UL, 0x46232365UL, 0x9dc3c35eUL,
157      0x30181828UL, 0x379696a1UL, 0x0a05050fUL, 0x2f9a9ab5UL,
158      0x0e070709UL, 0x24121236UL, 0x1b80809bUL, 0xdfe2e23dUL,
159      0xcdebeb26UL, 0x4e272769UL, 0x7fb2b2cdUL, 0xea75759fUL,
160      0x1209091bUL, 0x1d83839eUL, 0x582c2c74UL, 0x341a1a2eUL,
161      0x361b1b2dUL, 0xdc6e6eb2UL, 0xb45a5aeeUL, 0x5ba0a0fbUL,
162      0xa45252f6UL, 0x763b3b4dUL, 0xb7d6d661UL, 0x7db3b3ceUL,
163      0x5229297bUL, 0xdde3e33eUL, 0x5e2f2f71UL, 0x13848497UL,
164      0xa65353f5UL, 0xb9d1d168UL, 0x00000000UL, 0xc1eded2cUL,
165      0x40202060UL, 0xe3fcfc1fUL, 0x79b1b1c8UL, 0xb65b5bedUL,
166      0xd46a6abeUL, 0x8dcbcb46UL, 0x67bebed9UL, 0x7239394bUL,
167      0x944a4adeUL, 0x984c4cd4UL, 0xb05858e8UL, 0x85cfcf4aUL,
168      0xbbd0d06bUL, 0xc5efef2aUL, 0x4faaaae5UL, 0xedfbfb16UL,
169      0x864343c5UL, 0x9a4d4dd7UL, 0x66333355UL, 0x11858594UL,
170      0x8a4545cfUL, 0xe9f9f910UL, 0x04020206UL, 0xfe7f7f81UL,
171      0xa05050f0UL, 0x783c3c44UL, 0x259f9fbaUL, 0x4ba8a8e3UL,
172      0xa25151f3UL, 0x5da3a3feUL, 0x804040c0UL, 0x058f8f8aUL,
173      0x3f9292adUL, 0x219d9dbcUL, 0x70383848UL, 0xf1f5f504UL,
174      0x63bcbcdfUL, 0x77b6b6c1UL, 0xafdada75UL, 0x42212163UL,
175      0x20101030UL, 0xe5ffff1aUL, 0xfdf3f30eUL, 0xbfd2d26dUL,
176      0x81cdcd4cUL, 0x180c0c14UL, 0x26131335UL, 0xc3ecec2fUL,
177      0xbe5f5fe1UL, 0x359797a2UL, 0x884444ccUL, 0x2e171739UL,
178      0x93c4c457UL, 0x55a7a7f2UL, 0xfc7e7e82UL, 0x7a3d3d47UL,
179      0xc86464acUL, 0xba5d5de7UL, 0x3219192bUL, 0xe6737395UL,
180      0xc06060a0UL, 0x19818198UL, 0x9e4f4fd1UL, 0xa3dcdc7fUL,
181      0x44222266UL, 0x542a2a7eUL, 0x3b9090abUL, 0x0b888883UL,
182      0x8c4646caUL, 0xc7eeee29UL, 0x6bb8b8d3UL, 0x2814143cUL,
183      0xa7dede79UL, 0xbc5e5ee2UL, 0x160b0b1dUL, 0xaddbdb76UL,
184      0xdbe0e03bUL, 0x64323256UL, 0x743a3a4eUL, 0x140a0a1eUL,
185      0x924949dbUL, 0x0c06060aUL, 0x4824246cUL, 0xb85c5ce4UL,
186      0x9fc2c25dUL, 0xbdd3d36eUL, 0x43acacefUL, 0xc46262a6UL,
187      0x399191a8UL, 0x319595a4UL, 0xd3e4e437UL, 0xf279798bUL,
188      0xd5e7e732UL, 0x8bc8c843UL, 0x6e373759UL, 0xda6d6db7UL,
189      0x018d8d8cUL, 0xb1d5d564UL, 0x9c4e4ed2UL, 0x49a9a9e0UL,
190      0xd86c6cb4UL, 0xac5656faUL, 0xf3f4f407UL, 0xcfeaea25UL,
191      0xca6565afUL, 0xf47a7a8eUL, 0x47aeaee9UL, 0x10080818UL,
192      0x6fbabad5UL, 0xf0787888UL, 0x4a25256fUL, 0x5c2e2e72UL,
193      0x381c1c24UL, 0x57a6a6f1UL, 0x73b4b4c7UL, 0x97c6c651UL,
194      0xcbe8e823UL, 0xa1dddd7cUL, 0xe874749cUL, 0x3e1f1f21UL,
195      0x964b4bddUL, 0x61bdbddcUL, 0x0d8b8b86UL, 0x0f8a8a85UL,
196      0xe0707090UL, 0x7c3e3e42UL, 0x71b5b5c4UL, 0xcc6666aaUL,
197      0x904848d8UL, 0x06030305UL, 0xf7f6f601UL, 0x1c0e0e12UL,
198      0xc26161a3UL, 0x6a35355fUL, 0xae5757f9UL, 0x69b9b9d0UL,
199      0x17868691UL, 0x99c1c158UL, 0x3a1d1d27UL, 0x279e9eb9UL,
200      0xd9e1e138UL, 0xebf8f813UL, 0x2b9898b3UL, 0x22111133UL,
201      0xd26969bbUL, 0xa9d9d970UL, 0x078e8e89UL, 0x339494a7UL,
202      0x2d9b9bb6UL, 0x3c1e1e22UL, 0x15878792UL, 0xc9e9e920UL,
203      0x87cece49UL, 0xaa5555ffUL, 0x50282878UL, 0xa5dfdf7aUL,
204      0x038c8c8fUL, 0x59a1a1f8UL, 0x09898980UL, 0x1a0d0d17UL,
205      0x65bfbfdaUL, 0xd7e6e631UL, 0x844242c6UL, 0xd06868b8UL,
206      0x824141c3UL, 0x299999b0UL, 0x5a2d2d77UL, 0x1e0f0f11UL,
207      0x7bb0b0cbUL, 0xa85454fcUL, 0x6dbbbbd6UL, 0x2c16163aUL
208  };
209  static const SWord32 table2[] = {
210      0xa5c66363UL, 0x84f87c7cUL, 0x99ee7777UL, 0x8df67b7bUL,
211      0x0dfff2f2UL, 0xbdd66b6bUL, 0xb1de6f6fUL, 0x5491c5c5UL,
212      0x50603030UL, 0x03020101UL, 0xa9ce6767UL, 0x7d562b2bUL,
213      0x19e7fefeUL, 0x62b5d7d7UL, 0xe64dababUL, 0x9aec7676UL,
214      0x458fcacaUL, 0x9d1f8282UL, 0x4089c9c9UL, 0x87fa7d7dUL,
215      0x15effafaUL, 0xebb25959UL, 0xc98e4747UL, 0x0bfbf0f0UL,
216      0xec41adadUL, 0x67b3d4d4UL, 0xfd5fa2a2UL, 0xea45afafUL,
217      0xbf239c9cUL, 0xf753a4a4UL, 0x96e47272UL, 0x5b9bc0c0UL,
218      0xc275b7b7UL, 0x1ce1fdfdUL, 0xae3d9393UL, 0x6a4c2626UL,
219      0x5a6c3636UL, 0x417e3f3fUL, 0x02f5f7f7UL, 0x4f83ccccUL,
220      0x5c683434UL, 0xf451a5a5UL, 0x34d1e5e5UL, 0x08f9f1f1UL,
221      0x93e27171UL, 0x73abd8d8UL, 0x53623131UL, 0x3f2a1515UL,
222      0x0c080404UL, 0x5295c7c7UL, 0x65462323UL, 0x5e9dc3c3UL,
223      0x28301818UL, 0xa1379696UL, 0x0f0a0505UL, 0xb52f9a9aUL,
224      0x090e0707UL, 0x36241212UL, 0x9b1b8080UL, 0x3ddfe2e2UL,
225      0x26cdebebUL, 0x694e2727UL, 0xcd7fb2b2UL, 0x9fea7575UL,
226      0x1b120909UL, 0x9e1d8383UL, 0x74582c2cUL, 0x2e341a1aUL,
227      0x2d361b1bUL, 0xb2dc6e6eUL, 0xeeb45a5aUL, 0xfb5ba0a0UL,
228      0xf6a45252UL, 0x4d763b3bUL, 0x61b7d6d6UL, 0xce7db3b3UL,
229      0x7b522929UL, 0x3edde3e3UL, 0x715e2f2fUL, 0x97138484UL,
230      0xf5a65353UL, 0x68b9d1d1UL, 0x00000000UL, 0x2cc1ededUL,
231      0x60402020UL, 0x1fe3fcfcUL, 0xc879b1b1UL, 0xedb65b5bUL,
232      0xbed46a6aUL, 0x468dcbcbUL, 0xd967bebeUL, 0x4b723939UL,
233      0xde944a4aUL, 0xd4984c4cUL, 0xe8b05858UL, 0x4a85cfcfUL,
234      0x6bbbd0d0UL, 0x2ac5efefUL, 0xe54faaaaUL, 0x16edfbfbUL,
235      0xc5864343UL, 0xd79a4d4dUL, 0x55663333UL, 0x94118585UL,
236      0xcf8a4545UL, 0x10e9f9f9UL, 0x06040202UL, 0x81fe7f7fUL,
237      0xf0a05050UL, 0x44783c3cUL, 0xba259f9fUL, 0xe34ba8a8UL,
238      0xf3a25151UL, 0xfe5da3a3UL, 0xc0804040UL, 0x8a058f8fUL,
239      0xad3f9292UL, 0xbc219d9dUL, 0x48703838UL, 0x04f1f5f5UL,
240      0xdf63bcbcUL, 0xc177b6b6UL, 0x75afdadaUL, 0x63422121UL,
241      0x30201010UL, 0x1ae5ffffUL, 0x0efdf3f3UL, 0x6dbfd2d2UL,
242      0x4c81cdcdUL, 0x14180c0cUL, 0x35261313UL, 0x2fc3ececUL,
243      0xe1be5f5fUL, 0xa2359797UL, 0xcc884444UL, 0x392e1717UL,
244      0x5793c4c4UL, 0xf255a7a7UL, 0x82fc7e7eUL, 0x477a3d3dUL,
245      0xacc86464UL, 0xe7ba5d5dUL, 0x2b321919UL, 0x95e67373UL,
246      0xa0c06060UL, 0x98198181UL, 0xd19e4f4fUL, 0x7fa3dcdcUL,
247      0x66442222UL, 0x7e542a2aUL, 0xab3b9090UL, 0x830b8888UL,
248      0xca8c4646UL, 0x29c7eeeeUL, 0xd36bb8b8UL, 0x3c281414UL,
249      0x79a7dedeUL, 0xe2bc5e5eUL, 0x1d160b0bUL, 0x76addbdbUL,
250      0x3bdbe0e0UL, 0x56643232UL, 0x4e743a3aUL, 0x1e140a0aUL,
251      0xdb924949UL, 0x0a0c0606UL, 0x6c482424UL, 0xe4b85c5cUL,
252      0x5d9fc2c2UL, 0x6ebdd3d3UL, 0xef43acacUL, 0xa6c46262UL,
253      0xa8399191UL, 0xa4319595UL, 0x37d3e4e4UL, 0x8bf27979UL,
254      0x32d5e7e7UL, 0x438bc8c8UL, 0x596e3737UL, 0xb7da6d6dUL,
255      0x8c018d8dUL, 0x64b1d5d5UL, 0xd29c4e4eUL, 0xe049a9a9UL,
256      0xb4d86c6cUL, 0xfaac5656UL, 0x07f3f4f4UL, 0x25cfeaeaUL,
257      0xafca6565UL, 0x8ef47a7aUL, 0xe947aeaeUL, 0x18100808UL,
258      0xd56fbabaUL, 0x88f07878UL, 0x6f4a2525UL, 0x725c2e2eUL,
259      0x24381c1cUL, 0xf157a6a6UL, 0xc773b4b4UL, 0x5197c6c6UL,
260      0x23cbe8e8UL, 0x7ca1ddddUL, 0x9ce87474UL, 0x213e1f1fUL,
261      0xdd964b4bUL, 0xdc61bdbdUL, 0x860d8b8bUL, 0x850f8a8aUL,
262      0x90e07070UL, 0x427c3e3eUL, 0xc471b5b5UL, 0xaacc6666UL,
263      0xd8904848UL, 0x05060303UL, 0x01f7f6f6UL, 0x121c0e0eUL,
264      0xa3c26161UL, 0x5f6a3535UL, 0xf9ae5757UL, 0xd069b9b9UL,
265      0x91178686UL, 0x5899c1c1UL, 0x273a1d1dUL, 0xb9279e9eUL,
266      0x38d9e1e1UL, 0x13ebf8f8UL, 0xb32b9898UL, 0x33221111UL,
267      0xbbd26969UL, 0x70a9d9d9UL, 0x89078e8eUL, 0xa7339494UL,
268      0xb62d9b9bUL, 0x223c1e1eUL, 0x92158787UL, 0x20c9e9e9UL,
269      0x4987ceceUL, 0xffaa5555UL, 0x78502828UL, 0x7aa5dfdfUL,
270      0x8f038c8cUL, 0xf859a1a1UL, 0x80098989UL, 0x171a0d0dUL,
271      0xda65bfbfUL, 0x31d7e6e6UL, 0xc6844242UL, 0xb8d06868UL,
272      0xc3824141UL, 0xb0299999UL, 0x775a2d2dUL, 0x111e0f0fUL,
273      0xcb7bb0b0UL, 0xfca85454UL, 0xd66dbbbbUL, 0x3a2c1616UL
274  };
275  static const SWord32 table3[] = {
276      0x63a5c663UL, 0x7c84f87cUL, 0x7799ee77UL, 0x7b8df67bUL,
277      0xf20dfff2UL, 0x6bbdd66bUL, 0x6fb1de6fUL, 0xc55491c5UL,
278      0x30506030UL, 0x01030201UL, 0x67a9ce67UL, 0x2b7d562bUL,
279      0xfe19e7feUL, 0xd762b5d7UL, 0xabe64dabUL, 0x769aec76UL,
280      0xca458fcaUL, 0x829d1f82UL, 0xc94089c9UL, 0x7d87fa7dUL,
281      0xfa15effaUL, 0x59ebb259UL, 0x47c98e47UL, 0xf00bfbf0UL,
282      0xadec41adUL, 0xd467b3d4UL, 0xa2fd5fa2UL, 0xafea45afUL,
283      0x9cbf239cUL, 0xa4f753a4UL, 0x7296e472UL, 0xc05b9bc0UL,
284      0xb7c275b7UL, 0xfd1ce1fdUL, 0x93ae3d93UL, 0x266a4c26UL,
285      0x365a6c36UL, 0x3f417e3fUL, 0xf702f5f7UL, 0xcc4f83ccUL,
286      0x345c6834UL, 0xa5f451a5UL, 0xe534d1e5UL, 0xf108f9f1UL,
287      0x7193e271UL, 0xd873abd8UL, 0x31536231UL, 0x153f2a15UL,
288      0x040c0804UL, 0xc75295c7UL, 0x23654623UL, 0xc35e9dc3UL,
289      0x18283018UL, 0x96a13796UL, 0x050f0a05UL, 0x9ab52f9aUL,
290      0x07090e07UL, 0x12362412UL, 0x809b1b80UL, 0xe23ddfe2UL,
291      0xeb26cdebUL, 0x27694e27UL, 0xb2cd7fb2UL, 0x759fea75UL,
292      0x091b1209UL, 0x839e1d83UL, 0x2c74582cUL, 0x1a2e341aUL,
293      0x1b2d361bUL, 0x6eb2dc6eUL, 0x5aeeb45aUL, 0xa0fb5ba0UL,
294      0x52f6a452UL, 0x3b4d763bUL, 0xd661b7d6UL, 0xb3ce7db3UL,
295      0x297b5229UL, 0xe33edde3UL, 0x2f715e2fUL, 0x84971384UL,
296      0x53f5a653UL, 0xd168b9d1UL, 0x00000000UL, 0xed2cc1edUL,
297      0x20604020UL, 0xfc1fe3fcUL, 0xb1c879b1UL, 0x5bedb65bUL,
298      0x6abed46aUL, 0xcb468dcbUL, 0xbed967beUL, 0x394b7239UL,
299      0x4ade944aUL, 0x4cd4984cUL, 0x58e8b058UL, 0xcf4a85cfUL,
300      0xd06bbbd0UL, 0xef2ac5efUL, 0xaae54faaUL, 0xfb16edfbUL,
301      0x43c58643UL, 0x4dd79a4dUL, 0x33556633UL, 0x85941185UL,
302      0x45cf8a45UL, 0xf910e9f9UL, 0x02060402UL, 0x7f81fe7fUL,
303      0x50f0a050UL, 0x3c44783cUL, 0x9fba259fUL, 0xa8e34ba8UL,
304      0x51f3a251UL, 0xa3fe5da3UL, 0x40c08040UL, 0x8f8a058fUL,
305      0x92ad3f92UL, 0x9dbc219dUL, 0x38487038UL, 0xf504f1f5UL,
306      0xbcdf63bcUL, 0xb6c177b6UL, 0xda75afdaUL, 0x21634221UL,
307      0x10302010UL, 0xff1ae5ffUL, 0xf30efdf3UL, 0xd26dbfd2UL,
308      0xcd4c81cdUL, 0x0c14180cUL, 0x13352613UL, 0xec2fc3ecUL,
309      0x5fe1be5fUL, 0x97a23597UL, 0x44cc8844UL, 0x17392e17UL,
310      0xc45793c4UL, 0xa7f255a7UL, 0x7e82fc7eUL, 0x3d477a3dUL,
311      0x64acc864UL, 0x5de7ba5dUL, 0x192b3219UL, 0x7395e673UL,
312      0x60a0c060UL, 0x81981981UL, 0x4fd19e4fUL, 0xdc7fa3dcUL,
313      0x22664422UL, 0x2a7e542aUL, 0x90ab3b90UL, 0x88830b88UL,
314      0x46ca8c46UL, 0xee29c7eeUL, 0xb8d36bb8UL, 0x143c2814UL,
315      0xde79a7deUL, 0x5ee2bc5eUL, 0x0b1d160bUL, 0xdb76addbUL,
316      0xe03bdbe0UL, 0x32566432UL, 0x3a4e743aUL, 0x0a1e140aUL,
317      0x49db9249UL, 0x060a0c06UL, 0x246c4824UL, 0x5ce4b85cUL,
318      0xc25d9fc2UL, 0xd36ebdd3UL, 0xacef43acUL, 0x62a6c462UL,
319      0x91a83991UL, 0x95a43195UL, 0xe437d3e4UL, 0x798bf279UL,
320      0xe732d5e7UL, 0xc8438bc8UL, 0x37596e37UL, 0x6db7da6dUL,
321      0x8d8c018dUL, 0xd564b1d5UL, 0x4ed29c4eUL, 0xa9e049a9UL,
322      0x6cb4d86cUL, 0x56faac56UL, 0xf407f3f4UL, 0xea25cfeaUL,
323      0x65afca65UL, 0x7a8ef47aUL, 0xaee947aeUL, 0x08181008UL,
324      0xbad56fbaUL, 0x7888f078UL, 0x256f4a25UL, 0x2e725c2eUL,
325      0x1c24381cUL, 0xa6f157a6UL, 0xb4c773b4UL, 0xc65197c6UL,
326      0xe823cbe8UL, 0xdd7ca1ddUL, 0x749ce874UL, 0x1f213e1fUL,
327      0x4bdd964bUL, 0xbddc61bdUL, 0x8b860d8bUL, 0x8a850f8aUL,
328      0x7090e070UL, 0x3e427c3eUL, 0xb5c471b5UL, 0x66aacc66UL,
329      0x48d89048UL, 0x03050603UL, 0xf601f7f6UL, 0x0e121c0eUL,
330      0x61a3c261UL, 0x355f6a35UL, 0x57f9ae57UL, 0xb9d069b9UL,
331      0x86911786UL, 0xc15899c1UL, 0x1d273a1dUL, 0x9eb9279eUL,
332      0xe138d9e1UL, 0xf813ebf8UL, 0x98b32b98UL, 0x11332211UL,
333      0x69bbd269UL, 0xd970a9d9UL, 0x8e89078eUL, 0x94a73394UL,
334      0x9bb62d9bUL, 0x1e223c1eUL, 0x87921587UL, 0xe920c9e9UL,
335      0xce4987ceUL, 0x55ffaa55UL, 0x28785028UL, 0xdf7aa5dfUL,
336      0x8c8f038cUL, 0xa1f859a1UL, 0x89800989UL, 0x0d171a0dUL,
337      0xbfda65bfUL, 0xe631d7e6UL, 0x42c68442UL, 0x68b8d068UL,
338      0x41c38241UL, 0x99b02999UL, 0x2d775a2dUL, 0x0f111e0fUL,
339      0xb0cb7bb0UL, 0x54fca854UL, 0xbbd66dbbUL, 0x163a2c16UL
340  };
341  static const SWord32 table4[] = {
342      0x6363a5c6UL, 0x7c7c84f8UL, 0x777799eeUL, 0x7b7b8df6UL,
343      0xf2f20dffUL, 0x6b6bbdd6UL, 0x6f6fb1deUL, 0xc5c55491UL,
344      0x30305060UL, 0x01010302UL, 0x6767a9ceUL, 0x2b2b7d56UL,
345      0xfefe19e7UL, 0xd7d762b5UL, 0xababe64dUL, 0x76769aecUL,
346      0xcaca458fUL, 0x82829d1fUL, 0xc9c94089UL, 0x7d7d87faUL,
347      0xfafa15efUL, 0x5959ebb2UL, 0x4747c98eUL, 0xf0f00bfbUL,
348      0xadadec41UL, 0xd4d467b3UL, 0xa2a2fd5fUL, 0xafafea45UL,
349      0x9c9cbf23UL, 0xa4a4f753UL, 0x727296e4UL, 0xc0c05b9bUL,
350      0xb7b7c275UL, 0xfdfd1ce1UL, 0x9393ae3dUL, 0x26266a4cUL,
351      0x36365a6cUL, 0x3f3f417eUL, 0xf7f702f5UL, 0xcccc4f83UL,
352      0x34345c68UL, 0xa5a5f451UL, 0xe5e534d1UL, 0xf1f108f9UL,
353      0x717193e2UL, 0xd8d873abUL, 0x31315362UL, 0x15153f2aUL,
354      0x04040c08UL, 0xc7c75295UL, 0x23236546UL, 0xc3c35e9dUL,
355      0x18182830UL, 0x9696a137UL, 0x05050f0aUL, 0x9a9ab52fUL,
356      0x0707090eUL, 0x12123624UL, 0x80809b1bUL, 0xe2e23ddfUL,
357      0xebeb26cdUL, 0x2727694eUL, 0xb2b2cd7fUL, 0x75759feaUL,
358      0x09091b12UL, 0x83839e1dUL, 0x2c2c7458UL, 0x1a1a2e34UL,
359      0x1b1b2d36UL, 0x6e6eb2dcUL, 0x5a5aeeb4UL, 0xa0a0fb5bUL,
360      0x5252f6a4UL, 0x3b3b4d76UL, 0xd6d661b7UL, 0xb3b3ce7dUL,
361      0x29297b52UL, 0xe3e33eddUL, 0x2f2f715eUL, 0x84849713UL,
362      0x5353f5a6UL, 0xd1d168b9UL, 0x00000000UL, 0xeded2cc1UL,
363      0x20206040UL, 0xfcfc1fe3UL, 0xb1b1c879UL, 0x5b5bedb6UL,
364      0x6a6abed4UL, 0xcbcb468dUL, 0xbebed967UL, 0x39394b72UL,
365      0x4a4ade94UL, 0x4c4cd498UL, 0x5858e8b0UL, 0xcfcf4a85UL,
366      0xd0d06bbbUL, 0xefef2ac5UL, 0xaaaae54fUL, 0xfbfb16edUL,
367      0x4343c586UL, 0x4d4dd79aUL, 0x33335566UL, 0x85859411UL,
368      0x4545cf8aUL, 0xf9f910e9UL, 0x02020604UL, 0x7f7f81feUL,
369      0x5050f0a0UL, 0x3c3c4478UL, 0x9f9fba25UL, 0xa8a8e34bUL,
370      0x5151f3a2UL, 0xa3a3fe5dUL, 0x4040c080UL, 0x8f8f8a05UL,
371      0x9292ad3fUL, 0x9d9dbc21UL, 0x38384870UL, 0xf5f504f1UL,
372      0xbcbcdf63UL, 0xb6b6c177UL, 0xdada75afUL, 0x21216342UL,
373      0x10103020UL, 0xffff1ae5UL, 0xf3f30efdUL, 0xd2d26dbfUL,
374      0xcdcd4c81UL, 0x0c0c1418UL, 0x13133526UL, 0xecec2fc3UL,
375      0x5f5fe1beUL, 0x9797a235UL, 0x4444cc88UL, 0x1717392eUL,
376      0xc4c45793UL, 0xa7a7f255UL, 0x7e7e82fcUL, 0x3d3d477aUL,
377      0x6464acc8UL, 0x5d5de7baUL, 0x19192b32UL, 0x737395e6UL,
378      0x6060a0c0UL, 0x81819819UL, 0x4f4fd19eUL, 0xdcdc7fa3UL,
379      0x22226644UL, 0x2a2a7e54UL, 0x9090ab3bUL, 0x8888830bUL,
380      0x4646ca8cUL, 0xeeee29c7UL, 0xb8b8d36bUL, 0x14143c28UL,
381      0xdede79a7UL, 0x5e5ee2bcUL, 0x0b0b1d16UL, 0xdbdb76adUL,
382      0xe0e03bdbUL, 0x32325664UL, 0x3a3a4e74UL, 0x0a0a1e14UL,
383      0x4949db92UL, 0x06060a0cUL, 0x24246c48UL, 0x5c5ce4b8UL,
384      0xc2c25d9fUL, 0xd3d36ebdUL, 0xacacef43UL, 0x6262a6c4UL,
385      0x9191a839UL, 0x9595a431UL, 0xe4e437d3UL, 0x79798bf2UL,
386      0xe7e732d5UL, 0xc8c8438bUL, 0x3737596eUL, 0x6d6db7daUL,
387      0x8d8d8c01UL, 0xd5d564b1UL, 0x4e4ed29cUL, 0xa9a9e049UL,
388      0x6c6cb4d8UL, 0x5656faacUL, 0xf4f407f3UL, 0xeaea25cfUL,
389      0x6565afcaUL, 0x7a7a8ef4UL, 0xaeaee947UL, 0x08081810UL,
390      0xbabad56fUL, 0x787888f0UL, 0x25256f4aUL, 0x2e2e725cUL,
391      0x1c1c2438UL, 0xa6a6f157UL, 0xb4b4c773UL, 0xc6c65197UL,
392      0xe8e823cbUL, 0xdddd7ca1UL, 0x74749ce8UL, 0x1f1f213eUL,
393      0x4b4bdd96UL, 0xbdbddc61UL, 0x8b8b860dUL, 0x8a8a850fUL,
394      0x707090e0UL, 0x3e3e427cUL, 0xb5b5c471UL, 0x6666aaccUL,
395      0x4848d890UL, 0x03030506UL, 0xf6f601f7UL, 0x0e0e121cUL,
396      0x6161a3c2UL, 0x35355f6aUL, 0x5757f9aeUL, 0xb9b9d069UL,
397      0x86869117UL, 0xc1c15899UL, 0x1d1d273aUL, 0x9e9eb927UL,
398      0xe1e138d9UL, 0xf8f813ebUL, 0x9898b32bUL, 0x11113322UL,
399      0x6969bbd2UL, 0xd9d970a9UL, 0x8e8e8907UL, 0x9494a733UL,
400      0x9b9bb62dUL, 0x1e1e223cUL, 0x87879215UL, 0xe9e920c9UL,
401      0xcece4987UL, 0x5555ffaaUL, 0x28287850UL, 0xdfdf7aa5UL,
402      0x8c8c8f03UL, 0xa1a1f859UL, 0x89898009UL, 0x0d0d171aUL,
403      0xbfbfda65UL, 0xe6e631d7UL, 0x4242c684UL, 0x6868b8d0UL,
404      0x4141c382UL, 0x9999b029UL, 0x2d2d775aUL, 0x0f0f111eUL,
405      0xb0b0cb7bUL, 0x5454fca8UL, 0xbbbbd66dUL, 0x16163a2cUL
406  };
407  const SWord32 s520 = s0 ^ s4;
408  const SWord8  s521 = (SWord8) (s520 >> 24);
409  const SWord32 s522 = table1[s521];
410  const SWord32 s778 = s1 ^ s5;
411  const SWord8  s779 = (SWord8) (s778 >> 16);
412  const SWord32 s780 = table2[s779];
413  const SWord32 s781 = s522 ^ s780;
414  const SWord32 s1037 = s2 ^ s6;
415  const SWord8  s1038 = (SWord8) (s1037 >> 8);
416  const SWord32 s1039 = table3[s1038];
417  const SWord32 s1040 = s781 ^ s1039;
418  const SWord32 s1296 = s3 ^ s7;
419  const SWord8  s1297 = (SWord8) s1296;
420  const SWord32 s1298 = table4[s1297];
421  const SWord32 s1299 = s1040 ^ s1298;
422  const SWord32 s1300 = (s7 << 8) | (s7 >> 24);
423  const SWord8  s1301 = (SWord8) (s1300 >> 24);
424  const SWord8  s1302 = table0[s1301];
425  const SWord8  s1303 = 1 ^ s1302;
426  const SWord8  s1304 = (SWord8) (s1300 >> 16);
427  const SWord8  s1305 = table0[s1304];
428  const SWord16 s1306 = (((SWord16) s1303) << 8) | ((SWord16) s1305);
429  const SWord8  s1307 = (SWord8) (s1300 >> 8);
430  const SWord8  s1308 = table0[s1307];
431  const SWord8  s1309 = (SWord8) s1300;
432  const SWord8  s1310 = table0[s1309];
433  const SWord16 s1311 = (((SWord16) s1308) << 8) | ((SWord16) s1310);
434  const SWord32 s1312 = (((SWord32) s1306) << 16) | ((SWord32) s1311);
435  const SWord32 s1313 = s4 ^ s1312;
436  const SWord32 s1314 = s1299 ^ s1313;
437  const SWord8  s1315 = (SWord8) (s1314 >> 24);
438  const SWord32 s1316 = table1[s1315];
439  const SWord8  s1317 = (SWord8) (s778 >> 24);
440  const SWord32 s1318 = table1[s1317];
441  const SWord8  s1319 = (SWord8) (s1037 >> 16);
442  const SWord32 s1320 = table2[s1319];
443  const SWord32 s1321 = s1318 ^ s1320;
444  const SWord8  s1322 = (SWord8) (s1296 >> 8);
445  const SWord32 s1323 = table3[s1322];
446  const SWord32 s1324 = s1321 ^ s1323;
447  const SWord8  s1325 = (SWord8) s520;
448  const SWord32 s1326 = table4[s1325];
449  const SWord32 s1327 = s1324 ^ s1326;
450  const SWord32 s1328 = s5 ^ s1313;
451  const SWord32 s1329 = s1327 ^ s1328;
452  const SWord8  s1330 = (SWord8) (s1329 >> 16);
453  const SWord32 s1331 = table2[s1330];
454  const SWord32 s1332 = s1316 ^ s1331;
455  const SWord8  s1333 = (SWord8) (s1037 >> 24);
456  const SWord32 s1334 = table1[s1333];
457  const SWord8  s1335 = (SWord8) (s1296 >> 16);
458  const SWord32 s1336 = table2[s1335];
459  const SWord32 s1337 = s1334 ^ s1336;
460  const SWord8  s1338 = (SWord8) (s520 >> 8);
461  const SWord32 s1339 = table3[s1338];
462  const SWord32 s1340 = s1337 ^ s1339;
463  const SWord8  s1341 = (SWord8) s778;
464  const SWord32 s1342 = table4[s1341];
465  const SWord32 s1343 = s1340 ^ s1342;
466  const SWord32 s1344 = s6 ^ s1328;
467  const SWord32 s1345 = s1343 ^ s1344;
468  const SWord8  s1346 = (SWord8) (s1345 >> 8);
469  const SWord32 s1347 = table3[s1346];
470  const SWord32 s1348 = s1332 ^ s1347;
471  const SWord8  s1349 = (SWord8) (s1296 >> 24);
472  const SWord32 s1350 = table1[s1349];
473  const SWord8  s1351 = (SWord8) (s520 >> 16);
474  const SWord32 s1352 = table2[s1351];
475  const SWord32 s1353 = s1350 ^ s1352;
476  const SWord8  s1354 = (SWord8) (s778 >> 8);
477  const SWord32 s1355 = table3[s1354];
478  const SWord32 s1356 = s1353 ^ s1355;
479  const SWord8  s1357 = (SWord8) s1037;
480  const SWord32 s1358 = table4[s1357];
481  const SWord32 s1359 = s1356 ^ s1358;
482  const SWord32 s1360 = s7 ^ s1344;
483  const SWord32 s1361 = s1359 ^ s1360;
484  const SWord8  s1362 = (SWord8) s1361;
485  const SWord32 s1363 = table4[s1362];
486  const SWord32 s1364 = s1348 ^ s1363;
487  const SWord32 s1365 = (s1360 << 8) | (s1360 >> 24);
488  const SWord8  s1366 = (SWord8) (s1365 >> 24);
489  const SWord8  s1367 = table0[s1366];
490  const SWord8  s1368 = 2 ^ s1367;
491  const SWord8  s1369 = (SWord8) (s1365 >> 16);
492  const SWord8  s1370 = table0[s1369];
493  const SWord16 s1371 = (((SWord16) s1368) << 8) | ((SWord16) s1370);
494  const SWord8  s1372 = (SWord8) (s1365 >> 8);
495  const SWord8  s1373 = table0[s1372];
496  const SWord8  s1374 = (SWord8) s1365;
497  const SWord8  s1375 = table0[s1374];
498  const SWord16 s1376 = (((SWord16) s1373) << 8) | ((SWord16) s1375);
499  const SWord32 s1377 = (((SWord32) s1371) << 16) | ((SWord32) s1376);
500  const SWord32 s1378 = s1313 ^ s1377;
501  const SWord32 s1379 = s1364 ^ s1378;
502  const SWord8  s1380 = (SWord8) (s1379 >> 24);
503  const SWord32 s1381 = table1[s1380];
504  const SWord8  s1382 = (SWord8) (s1329 >> 24);
505  const SWord32 s1383 = table1[s1382];
506  const SWord8  s1384 = (SWord8) (s1345 >> 16);
507  const SWord32 s1385 = table2[s1384];
508  const SWord32 s1386 = s1383 ^ s1385;
509  const SWord8  s1387 = (SWord8) (s1361 >> 8);
510  const SWord32 s1388 = table3[s1387];
511  const SWord32 s1389 = s1386 ^ s1388;
512  const SWord8  s1390 = (SWord8) s1314;
513  const SWord32 s1391 = table4[s1390];
514  const SWord32 s1392 = s1389 ^ s1391;
515  const SWord32 s1393 = s1328 ^ s1378;
516  const SWord32 s1394 = s1392 ^ s1393;
517  const SWord8  s1395 = (SWord8) (s1394 >> 16);
518  const SWord32 s1396 = table2[s1395];
519  const SWord32 s1397 = s1381 ^ s1396;
520  const SWord8  s1398 = (SWord8) (s1345 >> 24);
521  const SWord32 s1399 = table1[s1398];
522  const SWord8  s1400 = (SWord8) (s1361 >> 16);
523  const SWord32 s1401 = table2[s1400];
524  const SWord32 s1402 = s1399 ^ s1401;
525  const SWord8  s1403 = (SWord8) (s1314 >> 8);
526  const SWord32 s1404 = table3[s1403];
527  const SWord32 s1405 = s1402 ^ s1404;
528  const SWord8  s1406 = (SWord8) s1329;
529  const SWord32 s1407 = table4[s1406];
530  const SWord32 s1408 = s1405 ^ s1407;
531  const SWord32 s1409 = s1344 ^ s1393;
532  const SWord32 s1410 = s1408 ^ s1409;
533  const SWord8  s1411 = (SWord8) (s1410 >> 8);
534  const SWord32 s1412 = table3[s1411];
535  const SWord32 s1413 = s1397 ^ s1412;
536  const SWord8  s1414 = (SWord8) (s1361 >> 24);
537  const SWord32 s1415 = table1[s1414];
538  const SWord8  s1416 = (SWord8) (s1314 >> 16);
539  const SWord32 s1417 = table2[s1416];
540  const SWord32 s1418 = s1415 ^ s1417;
541  const SWord8  s1419 = (SWord8) (s1329 >> 8);
542  const SWord32 s1420 = table3[s1419];
543  const SWord32 s1421 = s1418 ^ s1420;
544  const SWord8  s1422 = (SWord8) s1345;
545  const SWord32 s1423 = table4[s1422];
546  const SWord32 s1424 = s1421 ^ s1423;
547  const SWord32 s1425 = s1360 ^ s1409;
548  const SWord32 s1426 = s1424 ^ s1425;
549  const SWord8  s1427 = (SWord8) s1426;
550  const SWord32 s1428 = table4[s1427];
551  const SWord32 s1429 = s1413 ^ s1428;
552  const SWord32 s1430 = (s1425 << 8) | (s1425 >> 24);
553  const SWord8  s1431 = (SWord8) (s1430 >> 24);
554  const SWord8  s1432 = table0[s1431];
555  const SWord8  s1433 = 4 ^ s1432;
556  const SWord8  s1434 = (SWord8) (s1430 >> 16);
557  const SWord8  s1435 = table0[s1434];
558  const SWord16 s1436 = (((SWord16) s1433) << 8) | ((SWord16) s1435);
559  const SWord8  s1437 = (SWord8) (s1430 >> 8);
560  const SWord8  s1438 = table0[s1437];
561  const SWord8  s1439 = (SWord8) s1430;
562  const SWord8  s1440 = table0[s1439];
563  const SWord16 s1441 = (((SWord16) s1438) << 8) | ((SWord16) s1440);
564  const SWord32 s1442 = (((SWord32) s1436) << 16) | ((SWord32) s1441);
565  const SWord32 s1443 = s1378 ^ s1442;
566  const SWord32 s1444 = s1429 ^ s1443;
567  const SWord8  s1445 = (SWord8) (s1444 >> 24);
568  const SWord32 s1446 = table1[s1445];
569  const SWord8  s1447 = (SWord8) (s1394 >> 24);
570  const SWord32 s1448 = table1[s1447];
571  const SWord8  s1449 = (SWord8) (s1410 >> 16);
572  const SWord32 s1450 = table2[s1449];
573  const SWord32 s1451 = s1448 ^ s1450;
574  const SWord8  s1452 = (SWord8) (s1426 >> 8);
575  const SWord32 s1453 = table3[s1452];
576  const SWord32 s1454 = s1451 ^ s1453;
577  const SWord8  s1455 = (SWord8) s1379;
578  const SWord32 s1456 = table4[s1455];
579  const SWord32 s1457 = s1454 ^ s1456;
580  const SWord32 s1458 = s1393 ^ s1443;
581  const SWord32 s1459 = s1457 ^ s1458;
582  const SWord8  s1460 = (SWord8) (s1459 >> 16);
583  const SWord32 s1461 = table2[s1460];
584  const SWord32 s1462 = s1446 ^ s1461;
585  const SWord8  s1463 = (SWord8) (s1410 >> 24);
586  const SWord32 s1464 = table1[s1463];
587  const SWord8  s1465 = (SWord8) (s1426 >> 16);
588  const SWord32 s1466 = table2[s1465];
589  const SWord32 s1467 = s1464 ^ s1466;
590  const SWord8  s1468 = (SWord8) (s1379 >> 8);
591  const SWord32 s1469 = table3[s1468];
592  const SWord32 s1470 = s1467 ^ s1469;
593  const SWord8  s1471 = (SWord8) s1394;
594  const SWord32 s1472 = table4[s1471];
595  const SWord32 s1473 = s1470 ^ s1472;
596  const SWord32 s1474 = s1409 ^ s1458;
597  const SWord32 s1475 = s1473 ^ s1474;
598  const SWord8  s1476 = (SWord8) (s1475 >> 8);
599  const SWord32 s1477 = table3[s1476];
600  const SWord32 s1478 = s1462 ^ s1477;
601  const SWord8  s1479 = (SWord8) (s1426 >> 24);
602  const SWord32 s1480 = table1[s1479];
603  const SWord8  s1481 = (SWord8) (s1379 >> 16);
604  const SWord32 s1482 = table2[s1481];
605  const SWord32 s1483 = s1480 ^ s1482;
606  const SWord8  s1484 = (SWord8) (s1394 >> 8);
607  const SWord32 s1485 = table3[s1484];
608  const SWord32 s1486 = s1483 ^ s1485;
609  const SWord8  s1487 = (SWord8) s1410;
610  const SWord32 s1488 = table4[s1487];
611  const SWord32 s1489 = s1486 ^ s1488;
612  const SWord32 s1490 = s1425 ^ s1474;
613  const SWord32 s1491 = s1489 ^ s1490;
614  const SWord8  s1492 = (SWord8) s1491;
615  const SWord32 s1493 = table4[s1492];
616  const SWord32 s1494 = s1478 ^ s1493;
617  const SWord32 s1495 = (s1490 << 8) | (s1490 >> 24);
618  const SWord8  s1496 = (SWord8) (s1495 >> 24);
619  const SWord8  s1497 = table0[s1496];
620  const SWord8  s1498 = 8 ^ s1497;
621  const SWord8  s1499 = (SWord8) (s1495 >> 16);
622  const SWord8  s1500 = table0[s1499];
623  const SWord16 s1501 = (((SWord16) s1498) << 8) | ((SWord16) s1500);
624  const SWord8  s1502 = (SWord8) (s1495 >> 8);
625  const SWord8  s1503 = table0[s1502];
626  const SWord8  s1504 = (SWord8) s1495;
627  const SWord8  s1505 = table0[s1504];
628  const SWord16 s1506 = (((SWord16) s1503) << 8) | ((SWord16) s1505);
629  const SWord32 s1507 = (((SWord32) s1501) << 16) | ((SWord32) s1506);
630  const SWord32 s1508 = s1443 ^ s1507;
631  const SWord32 s1509 = s1494 ^ s1508;
632  const SWord8  s1510 = (SWord8) (s1509 >> 24);
633  const SWord32 s1511 = table1[s1510];
634  const SWord8  s1512 = (SWord8) (s1459 >> 24);
635  const SWord32 s1513 = table1[s1512];
636  const SWord8  s1514 = (SWord8) (s1475 >> 16);
637  const SWord32 s1515 = table2[s1514];
638  const SWord32 s1516 = s1513 ^ s1515;
639  const SWord8  s1517 = (SWord8) (s1491 >> 8);
640  const SWord32 s1518 = table3[s1517];
641  const SWord32 s1519 = s1516 ^ s1518;
642  const SWord8  s1520 = (SWord8) s1444;
643  const SWord32 s1521 = table4[s1520];
644  const SWord32 s1522 = s1519 ^ s1521;
645  const SWord32 s1523 = s1458 ^ s1508;
646  const SWord32 s1524 = s1522 ^ s1523;
647  const SWord8  s1525 = (SWord8) (s1524 >> 16);
648  const SWord32 s1526 = table2[s1525];
649  const SWord32 s1527 = s1511 ^ s1526;
650  const SWord8  s1528 = (SWord8) (s1475 >> 24);
651  const SWord32 s1529 = table1[s1528];
652  const SWord8  s1530 = (SWord8) (s1491 >> 16);
653  const SWord32 s1531 = table2[s1530];
654  const SWord32 s1532 = s1529 ^ s1531;
655  const SWord8  s1533 = (SWord8) (s1444 >> 8);
656  const SWord32 s1534 = table3[s1533];
657  const SWord32 s1535 = s1532 ^ s1534;
658  const SWord8  s1536 = (SWord8) s1459;
659  const SWord32 s1537 = table4[s1536];
660  const SWord32 s1538 = s1535 ^ s1537;
661  const SWord32 s1539 = s1474 ^ s1523;
662  const SWord32 s1540 = s1538 ^ s1539;
663  const SWord8  s1541 = (SWord8) (s1540 >> 8);
664  const SWord32 s1542 = table3[s1541];
665  const SWord32 s1543 = s1527 ^ s1542;
666  const SWord8  s1544 = (SWord8) (s1491 >> 24);
667  const SWord32 s1545 = table1[s1544];
668  const SWord8  s1546 = (SWord8) (s1444 >> 16);
669  const SWord32 s1547 = table2[s1546];
670  const SWord32 s1548 = s1545 ^ s1547;
671  const SWord8  s1549 = (SWord8) (s1459 >> 8);
672  const SWord32 s1550 = table3[s1549];
673  const SWord32 s1551 = s1548 ^ s1550;
674  const SWord8  s1552 = (SWord8) s1475;
675  const SWord32 s1553 = table4[s1552];
676  const SWord32 s1554 = s1551 ^ s1553;
677  const SWord32 s1555 = s1490 ^ s1539;
678  const SWord32 s1556 = s1554 ^ s1555;
679  const SWord8  s1557 = (SWord8) s1556;
680  const SWord32 s1558 = table4[s1557];
681  const SWord32 s1559 = s1543 ^ s1558;
682  const SWord32 s1560 = (s1555 << 8) | (s1555 >> 24);
683  const SWord8  s1561 = (SWord8) (s1560 >> 24);
684  const SWord8  s1562 = table0[s1561];
685  const SWord8  s1563 = 16 ^ s1562;
686  const SWord8  s1564 = (SWord8) (s1560 >> 16);
687  const SWord8  s1565 = table0[s1564];
688  const SWord16 s1566 = (((SWord16) s1563) << 8) | ((SWord16) s1565);
689  const SWord8  s1567 = (SWord8) (s1560 >> 8);
690  const SWord8  s1568 = table0[s1567];
691  const SWord8  s1569 = (SWord8) s1560;
692  const SWord8  s1570 = table0[s1569];
693  const SWord16 s1571 = (((SWord16) s1568) << 8) | ((SWord16) s1570);
694  const SWord32 s1572 = (((SWord32) s1566) << 16) | ((SWord32) s1571);
695  const SWord32 s1573 = s1508 ^ s1572;
696  const SWord32 s1574 = s1559 ^ s1573;
697  const SWord8  s1575 = (SWord8) (s1574 >> 24);
698  const SWord32 s1576 = table1[s1575];
699  const SWord8  s1577 = (SWord8) (s1524 >> 24);
700  const SWord32 s1578 = table1[s1577];
701  const SWord8  s1579 = (SWord8) (s1540 >> 16);
702  const SWord32 s1580 = table2[s1579];
703  const SWord32 s1581 = s1578 ^ s1580;
704  const SWord8  s1582 = (SWord8) (s1556 >> 8);
705  const SWord32 s1583 = table3[s1582];
706  const SWord32 s1584 = s1581 ^ s1583;
707  const SWord8  s1585 = (SWord8) s1509;
708  const SWord32 s1586 = table4[s1585];
709  const SWord32 s1587 = s1584 ^ s1586;
710  const SWord32 s1588 = s1523 ^ s1573;
711  const SWord32 s1589 = s1587 ^ s1588;
712  const SWord8  s1590 = (SWord8) (s1589 >> 16);
713  const SWord32 s1591 = table2[s1590];
714  const SWord32 s1592 = s1576 ^ s1591;
715  const SWord8  s1593 = (SWord8) (s1540 >> 24);
716  const SWord32 s1594 = table1[s1593];
717  const SWord8  s1595 = (SWord8) (s1556 >> 16);
718  const SWord32 s1596 = table2[s1595];
719  const SWord32 s1597 = s1594 ^ s1596;
720  const SWord8  s1598 = (SWord8) (s1509 >> 8);
721  const SWord32 s1599 = table3[s1598];
722  const SWord32 s1600 = s1597 ^ s1599;
723  const SWord8  s1601 = (SWord8) s1524;
724  const SWord32 s1602 = table4[s1601];
725  const SWord32 s1603 = s1600 ^ s1602;
726  const SWord32 s1604 = s1539 ^ s1588;
727  const SWord32 s1605 = s1603 ^ s1604;
728  const SWord8  s1606 = (SWord8) (s1605 >> 8);
729  const SWord32 s1607 = table3[s1606];
730  const SWord32 s1608 = s1592 ^ s1607;
731  const SWord8  s1609 = (SWord8) (s1556 >> 24);
732  const SWord32 s1610 = table1[s1609];
733  const SWord8  s1611 = (SWord8) (s1509 >> 16);
734  const SWord32 s1612 = table2[s1611];
735  const SWord32 s1613 = s1610 ^ s1612;
736  const SWord8  s1614 = (SWord8) (s1524 >> 8);
737  const SWord32 s1615 = table3[s1614];
738  const SWord32 s1616 = s1613 ^ s1615;
739  const SWord8  s1617 = (SWord8) s1540;
740  const SWord32 s1618 = table4[s1617];
741  const SWord32 s1619 = s1616 ^ s1618;
742  const SWord32 s1620 = s1555 ^ s1604;
743  const SWord32 s1621 = s1619 ^ s1620;
744  const SWord8  s1622 = (SWord8) s1621;
745  const SWord32 s1623 = table4[s1622];
746  const SWord32 s1624 = s1608 ^ s1623;
747  const SWord32 s1625 = (s1620 << 8) | (s1620 >> 24);
748  const SWord8  s1626 = (SWord8) (s1625 >> 24);
749  const SWord8  s1627 = table0[s1626];
750  const SWord8  s1628 = 32 ^ s1627;
751  const SWord8  s1629 = (SWord8) (s1625 >> 16);
752  const SWord8  s1630 = table0[s1629];
753  const SWord16 s1631 = (((SWord16) s1628) << 8) | ((SWord16) s1630);
754  const SWord8  s1632 = (SWord8) (s1625 >> 8);
755  const SWord8  s1633 = table0[s1632];
756  const SWord8  s1634 = (SWord8) s1625;
757  const SWord8  s1635 = table0[s1634];
758  const SWord16 s1636 = (((SWord16) s1633) << 8) | ((SWord16) s1635);
759  const SWord32 s1637 = (((SWord32) s1631) << 16) | ((SWord32) s1636);
760  const SWord32 s1638 = s1573 ^ s1637;
761  const SWord32 s1639 = s1624 ^ s1638;
762  const SWord8  s1640 = (SWord8) (s1639 >> 24);
763  const SWord32 s1641 = table1[s1640];
764  const SWord8  s1642 = (SWord8) (s1589 >> 24);
765  const SWord32 s1643 = table1[s1642];
766  const SWord8  s1644 = (SWord8) (s1605 >> 16);
767  const SWord32 s1645 = table2[s1644];
768  const SWord32 s1646 = s1643 ^ s1645;
769  const SWord8  s1647 = (SWord8) (s1621 >> 8);
770  const SWord32 s1648 = table3[s1647];
771  const SWord32 s1649 = s1646 ^ s1648;
772  const SWord8  s1650 = (SWord8) s1574;
773  const SWord32 s1651 = table4[s1650];
774  const SWord32 s1652 = s1649 ^ s1651;
775  const SWord32 s1653 = s1588 ^ s1638;
776  const SWord32 s1654 = s1652 ^ s1653;
777  const SWord8  s1655 = (SWord8) (s1654 >> 16);
778  const SWord32 s1656 = table2[s1655];
779  const SWord32 s1657 = s1641 ^ s1656;
780  const SWord8  s1658 = (SWord8) (s1605 >> 24);
781  const SWord32 s1659 = table1[s1658];
782  const SWord8  s1660 = (SWord8) (s1621 >> 16);
783  const SWord32 s1661 = table2[s1660];
784  const SWord32 s1662 = s1659 ^ s1661;
785  const SWord8  s1663 = (SWord8) (s1574 >> 8);
786  const SWord32 s1664 = table3[s1663];
787  const SWord32 s1665 = s1662 ^ s1664;
788  const SWord8  s1666 = (SWord8) s1589;
789  const SWord32 s1667 = table4[s1666];
790  const SWord32 s1668 = s1665 ^ s1667;
791  const SWord32 s1669 = s1604 ^ s1653;
792  const SWord32 s1670 = s1668 ^ s1669;
793  const SWord8  s1671 = (SWord8) (s1670 >> 8);
794  const SWord32 s1672 = table3[s1671];
795  const SWord32 s1673 = s1657 ^ s1672;
796  const SWord8  s1674 = (SWord8) (s1621 >> 24);
797  const SWord32 s1675 = table1[s1674];
798  const SWord8  s1676 = (SWord8) (s1574 >> 16);
799  const SWord32 s1677 = table2[s1676];
800  const SWord32 s1678 = s1675 ^ s1677;
801  const SWord8  s1679 = (SWord8) (s1589 >> 8);
802  const SWord32 s1680 = table3[s1679];
803  const SWord32 s1681 = s1678 ^ s1680;
804  const SWord8  s1682 = (SWord8) s1605;
805  const SWord32 s1683 = table4[s1682];
806  const SWord32 s1684 = s1681 ^ s1683;
807  const SWord32 s1685 = s1620 ^ s1669;
808  const SWord32 s1686 = s1684 ^ s1685;
809  const SWord8  s1687 = (SWord8) s1686;
810  const SWord32 s1688 = table4[s1687];
811  const SWord32 s1689 = s1673 ^ s1688;
812  const SWord32 s1690 = (s1685 << 8) | (s1685 >> 24);
813  const SWord8  s1691 = (SWord8) (s1690 >> 24);
814  const SWord8  s1692 = table0[s1691];
815  const SWord8  s1693 = 64 ^ s1692;
816  const SWord8  s1694 = (SWord8) (s1690 >> 16);
817  const SWord8  s1695 = table0[s1694];
818  const SWord16 s1696 = (((SWord16) s1693) << 8) | ((SWord16) s1695);
819  const SWord8  s1697 = (SWord8) (s1690 >> 8);
820  const SWord8  s1698 = table0[s1697];
821  const SWord8  s1699 = (SWord8) s1690;
822  const SWord8  s1700 = table0[s1699];
823  const SWord16 s1701 = (((SWord16) s1698) << 8) | ((SWord16) s1700);
824  const SWord32 s1702 = (((SWord32) s1696) << 16) | ((SWord32) s1701);
825  const SWord32 s1703 = s1638 ^ s1702;
826  const SWord32 s1704 = s1689 ^ s1703;
827  const SWord8  s1705 = (SWord8) (s1704 >> 24);
828  const SWord32 s1706 = table1[s1705];
829  const SWord8  s1707 = (SWord8) (s1654 >> 24);
830  const SWord32 s1708 = table1[s1707];
831  const SWord8  s1709 = (SWord8) (s1670 >> 16);
832  const SWord32 s1710 = table2[s1709];
833  const SWord32 s1711 = s1708 ^ s1710;
834  const SWord8  s1712 = (SWord8) (s1686 >> 8);
835  const SWord32 s1713 = table3[s1712];
836  const SWord32 s1714 = s1711 ^ s1713;
837  const SWord8  s1715 = (SWord8) s1639;
838  const SWord32 s1716 = table4[s1715];
839  const SWord32 s1717 = s1714 ^ s1716;
840  const SWord32 s1718 = s1653 ^ s1703;
841  const SWord32 s1719 = s1717 ^ s1718;
842  const SWord8  s1720 = (SWord8) (s1719 >> 16);
843  const SWord32 s1721 = table2[s1720];
844  const SWord32 s1722 = s1706 ^ s1721;
845  const SWord8  s1723 = (SWord8) (s1670 >> 24);
846  const SWord32 s1724 = table1[s1723];
847  const SWord8  s1725 = (SWord8) (s1686 >> 16);
848  const SWord32 s1726 = table2[s1725];
849  const SWord32 s1727 = s1724 ^ s1726;
850  const SWord8  s1728 = (SWord8) (s1639 >> 8);
851  const SWord32 s1729 = table3[s1728];
852  const SWord32 s1730 = s1727 ^ s1729;
853  const SWord8  s1731 = (SWord8) s1654;
854  const SWord32 s1732 = table4[s1731];
855  const SWord32 s1733 = s1730 ^ s1732;
856  const SWord32 s1734 = s1669 ^ s1718;
857  const SWord32 s1735 = s1733 ^ s1734;
858  const SWord8  s1736 = (SWord8) (s1735 >> 8);
859  const SWord32 s1737 = table3[s1736];
860  const SWord32 s1738 = s1722 ^ s1737;
861  const SWord8  s1739 = (SWord8) (s1686 >> 24);
862  const SWord32 s1740 = table1[s1739];
863  const SWord8  s1741 = (SWord8) (s1639 >> 16);
864  const SWord32 s1742 = table2[s1741];
865  const SWord32 s1743 = s1740 ^ s1742;
866  const SWord8  s1744 = (SWord8) (s1654 >> 8);
867  const SWord32 s1745 = table3[s1744];
868  const SWord32 s1746 = s1743 ^ s1745;
869  const SWord8  s1747 = (SWord8) s1670;
870  const SWord32 s1748 = table4[s1747];
871  const SWord32 s1749 = s1746 ^ s1748;
872  const SWord32 s1750 = s1685 ^ s1734;
873  const SWord32 s1751 = s1749 ^ s1750;
874  const SWord8  s1752 = (SWord8) s1751;
875  const SWord32 s1753 = table4[s1752];
876  const SWord32 s1754 = s1738 ^ s1753;
877  const SWord32 s1755 = (s1750 << 8) | (s1750 >> 24);
878  const SWord8  s1756 = (SWord8) (s1755 >> 24);
879  const SWord8  s1757 = table0[s1756];
880  const SWord8  s1758 = 128 ^ s1757;
881  const SWord8  s1759 = (SWord8) (s1755 >> 16);
882  const SWord8  s1760 = table0[s1759];
883  const SWord16 s1761 = (((SWord16) s1758) << 8) | ((SWord16) s1760);
884  const SWord8  s1762 = (SWord8) (s1755 >> 8);
885  const SWord8  s1763 = table0[s1762];
886  const SWord8  s1764 = (SWord8) s1755;
887  const SWord8  s1765 = table0[s1764];
888  const SWord16 s1766 = (((SWord16) s1763) << 8) | ((SWord16) s1765);
889  const SWord32 s1767 = (((SWord32) s1761) << 16) | ((SWord32) s1766);
890  const SWord32 s1768 = s1703 ^ s1767;
891  const SWord32 s1769 = s1754 ^ s1768;
892  const SWord8  s1770 = (SWord8) (s1769 >> 24);
893  const SWord32 s1771 = table1[s1770];
894  const SWord8  s1772 = (SWord8) (s1719 >> 24);
895  const SWord32 s1773 = table1[s1772];
896  const SWord8  s1774 = (SWord8) (s1735 >> 16);
897  const SWord32 s1775 = table2[s1774];
898  const SWord32 s1776 = s1773 ^ s1775;
899  const SWord8  s1777 = (SWord8) (s1751 >> 8);
900  const SWord32 s1778 = table3[s1777];
901  const SWord32 s1779 = s1776 ^ s1778;
902  const SWord8  s1780 = (SWord8) s1704;
903  const SWord32 s1781 = table4[s1780];
904  const SWord32 s1782 = s1779 ^ s1781;
905  const SWord32 s1783 = s1718 ^ s1768;
906  const SWord32 s1784 = s1782 ^ s1783;
907  const SWord8  s1785 = (SWord8) (s1784 >> 16);
908  const SWord32 s1786 = table2[s1785];
909  const SWord32 s1787 = s1771 ^ s1786;
910  const SWord8  s1788 = (SWord8) (s1735 >> 24);
911  const SWord32 s1789 = table1[s1788];
912  const SWord8  s1790 = (SWord8) (s1751 >> 16);
913  const SWord32 s1791 = table2[s1790];
914  const SWord32 s1792 = s1789 ^ s1791;
915  const SWord8  s1793 = (SWord8) (s1704 >> 8);
916  const SWord32 s1794 = table3[s1793];
917  const SWord32 s1795 = s1792 ^ s1794;
918  const SWord8  s1796 = (SWord8) s1719;
919  const SWord32 s1797 = table4[s1796];
920  const SWord32 s1798 = s1795 ^ s1797;
921  const SWord32 s1799 = s1734 ^ s1783;
922  const SWord32 s1800 = s1798 ^ s1799;
923  const SWord8  s1801 = (SWord8) (s1800 >> 8);
924  const SWord32 s1802 = table3[s1801];
925  const SWord32 s1803 = s1787 ^ s1802;
926  const SWord8  s1804 = (SWord8) (s1751 >> 24);
927  const SWord32 s1805 = table1[s1804];
928  const SWord8  s1806 = (SWord8) (s1704 >> 16);
929  const SWord32 s1807 = table2[s1806];
930  const SWord32 s1808 = s1805 ^ s1807;
931  const SWord8  s1809 = (SWord8) (s1719 >> 8);
932  const SWord32 s1810 = table3[s1809];
933  const SWord32 s1811 = s1808 ^ s1810;
934  const SWord8  s1812 = (SWord8) s1735;
935  const SWord32 s1813 = table4[s1812];
936  const SWord32 s1814 = s1811 ^ s1813;
937  const SWord32 s1815 = s1750 ^ s1799;
938  const SWord32 s1816 = s1814 ^ s1815;
939  const SWord8  s1817 = (SWord8) s1816;
940  const SWord32 s1818 = table4[s1817];
941  const SWord32 s1819 = s1803 ^ s1818;
942  const SWord32 s1820 = (s1815 << 8) | (s1815 >> 24);
943  const SWord8  s1821 = (SWord8) (s1820 >> 24);
944  const SWord8  s1822 = table0[s1821];
945  const SWord8  s1823 = 27 ^ s1822;
946  const SWord8  s1824 = (SWord8) (s1820 >> 16);
947  const SWord8  s1825 = table0[s1824];
948  const SWord16 s1826 = (((SWord16) s1823) << 8) | ((SWord16) s1825);
949  const SWord8  s1827 = (SWord8) (s1820 >> 8);
950  const SWord8  s1828 = table0[s1827];
951  const SWord8  s1829 = (SWord8) s1820;
952  const SWord8  s1830 = table0[s1829];
953  const SWord16 s1831 = (((SWord16) s1828) << 8) | ((SWord16) s1830);
954  const SWord32 s1832 = (((SWord32) s1826) << 16) | ((SWord32) s1831);
955  const SWord32 s1833 = s1768 ^ s1832;
956  const SWord32 s1834 = s1819 ^ s1833;
957  const SWord8  s1835 = (SWord8) (s1834 >> 24);
958  const SWord8  s1836 = table0[s1835];
959  const SWord8  s1837 = (SWord8) (s1784 >> 24);
960  const SWord32 s1838 = table1[s1837];
961  const SWord8  s1839 = (SWord8) (s1800 >> 16);
962  const SWord32 s1840 = table2[s1839];
963  const SWord32 s1841 = s1838 ^ s1840;
964  const SWord8  s1842 = (SWord8) (s1816 >> 8);
965  const SWord32 s1843 = table3[s1842];
966  const SWord32 s1844 = s1841 ^ s1843;
967  const SWord8  s1845 = (SWord8) s1769;
968  const SWord32 s1846 = table4[s1845];
969  const SWord32 s1847 = s1844 ^ s1846;
970  const SWord32 s1848 = s1783 ^ s1833;
971  const SWord32 s1849 = s1847 ^ s1848;
972  const SWord8  s1850 = (SWord8) (s1849 >> 16);
973  const SWord8  s1851 = table0[s1850];
974  const SWord16 s1852 = (((SWord16) s1836) << 8) | ((SWord16) s1851);
975  const SWord8  s1853 = (SWord8) (s1800 >> 24);
976  const SWord32 s1854 = table1[s1853];
977  const SWord8  s1855 = (SWord8) (s1816 >> 16);
978  const SWord32 s1856 = table2[s1855];
979  const SWord32 s1857 = s1854 ^ s1856;
980  const SWord8  s1858 = (SWord8) (s1769 >> 8);
981  const SWord32 s1859 = table3[s1858];
982  const SWord32 s1860 = s1857 ^ s1859;
983  const SWord8  s1861 = (SWord8) s1784;
984  const SWord32 s1862 = table4[s1861];
985  const SWord32 s1863 = s1860 ^ s1862;
986  const SWord32 s1864 = s1799 ^ s1848;
987  const SWord32 s1865 = s1863 ^ s1864;
988  const SWord8  s1866 = (SWord8) (s1865 >> 8);
989  const SWord8  s1867 = table0[s1866];
990  const SWord8  s1868 = (SWord8) (s1816 >> 24);
991  const SWord32 s1869 = table1[s1868];
992  const SWord8  s1870 = (SWord8) (s1769 >> 16);
993  const SWord32 s1871 = table2[s1870];
994  const SWord32 s1872 = s1869 ^ s1871;
995  const SWord8  s1873 = (SWord8) (s1784 >> 8);
996  const SWord32 s1874 = table3[s1873];
997  const SWord32 s1875 = s1872 ^ s1874;
998  const SWord8  s1876 = (SWord8) s1800;
999  const SWord32 s1877 = table4[s1876];
1000  const SWord32 s1878 = s1875 ^ s1877;
1001  const SWord32 s1879 = s1815 ^ s1864;
1002  const SWord32 s1880 = s1878 ^ s1879;
1003  const SWord8  s1881 = (SWord8) s1880;
1004  const SWord8  s1882 = table0[s1881];
1005  const SWord16 s1883 = (((SWord16) s1867) << 8) | ((SWord16) s1882);
1006  const SWord32 s1884 = (((SWord32) s1852) << 16) | ((SWord32) s1883);
1007  const SWord32 s1885 = (s1879 << 8) | (s1879 >> 24);
1008  const SWord8  s1886 = (SWord8) (s1885 >> 24);
1009  const SWord8  s1887 = table0[s1886];
1010  const SWord8  s1888 = 54 ^ s1887;
1011  const SWord8  s1889 = (SWord8) (s1885 >> 16);
1012  const SWord8  s1890 = table0[s1889];
1013  const SWord16 s1891 = (((SWord16) s1888) << 8) | ((SWord16) s1890);
1014  const SWord8  s1892 = (SWord8) (s1885 >> 8);
1015  const SWord8  s1893 = table0[s1892];
1016  const SWord8  s1894 = (SWord8) s1885;
1017  const SWord8  s1895 = table0[s1894];
1018  const SWord16 s1896 = (((SWord16) s1893) << 8) | ((SWord16) s1895);
1019  const SWord32 s1897 = (((SWord32) s1891) << 16) | ((SWord32) s1896);
1020  const SWord32 s1898 = s1833 ^ s1897;
1021  const SWord32 s1899 = s1884 ^ s1898;
1022  const SWord8  s1900 = (SWord8) (s1849 >> 24);
1023  const SWord8  s1901 = table0[s1900];
1024  const SWord8  s1902 = (SWord8) (s1865 >> 16);
1025  const SWord8  s1903 = table0[s1902];
1026  const SWord16 s1904 = (((SWord16) s1901) << 8) | ((SWord16) s1903);
1027  const SWord8  s1905 = (SWord8) (s1880 >> 8);
1028  const SWord8  s1906 = table0[s1905];
1029  const SWord8  s1907 = (SWord8) s1834;
1030  const SWord8  s1908 = table0[s1907];
1031  const SWord16 s1909 = (((SWord16) s1906) << 8) | ((SWord16) s1908);
1032  const SWord32 s1910 = (((SWord32) s1904) << 16) | ((SWord32) s1909);
1033  const SWord32 s1911 = s1848 ^ s1898;
1034  const SWord32 s1912 = s1910 ^ s1911;
1035  const SWord8  s1913 = (SWord8) (s1865 >> 24);
1036  const SWord8  s1914 = table0[s1913];
1037  const SWord8  s1915 = (SWord8) (s1880 >> 16);
1038  const SWord8  s1916 = table0[s1915];
1039  const SWord16 s1917 = (((SWord16) s1914) << 8) | ((SWord16) s1916);
1040  const SWord8  s1918 = (SWord8) (s1834 >> 8);
1041  const SWord8  s1919 = table0[s1918];
1042  const SWord8  s1920 = (SWord8) s1849;
1043  const SWord8  s1921 = table0[s1920];
1044  const SWord16 s1922 = (((SWord16) s1919) << 8) | ((SWord16) s1921);
1045  const SWord32 s1923 = (((SWord32) s1917) << 16) | ((SWord32) s1922);
1046  const SWord32 s1924 = s1864 ^ s1911;
1047  const SWord32 s1925 = s1923 ^ s1924;
1048  const SWord8  s1926 = (SWord8) (s1880 >> 24);
1049  const SWord8  s1927 = table0[s1926];
1050  const SWord8  s1928 = (SWord8) (s1834 >> 16);
1051  const SWord8  s1929 = table0[s1928];
1052  const SWord16 s1930 = (((SWord16) s1927) << 8) | ((SWord16) s1929);
1053  const SWord8  s1931 = (SWord8) (s1849 >> 8);
1054  const SWord8  s1932 = table0[s1931];
1055  const SWord8  s1933 = (SWord8) s1865;
1056  const SWord8  s1934 = table0[s1933];
1057  const SWord16 s1935 = (((SWord16) s1932) << 8) | ((SWord16) s1934);
1058  const SWord32 s1936 = (((SWord32) s1930) << 16) | ((SWord32) s1935);
1059  const SWord32 s1937 = s1879 ^ s1924;
1060  const SWord32 s1938 = s1936 ^ s1937;
1061
1062  ct[0] = s1899;
1063  ct[1] = s1912;
1064  ct[2] = s1925;
1065  ct[3] = s1938;
1066}
1067== END: "aes128Enc.c" ==================