nx_rsa_pkcs1_v1_5_k_test.nx source

1// nx_rsa_pkcs1_v1_5_k_test.nx -- KAT vs openssl RSA-3072 (sha256 + sha384). 2// expect_exit: 0 3// license_tier: ORIGINAL 4 5import "nx_syscalls.nx" 6import "nx_u4096.nx" 7import "nx_rsa_pkcs1_v1_5_k.nx" 8 9func main() -> i64 { 10 let msg: *u8 = (sys_mmap(25)) as *u8 11 msg[0] = 0x6e as u8 12 msg[1] = 0x69 as u8 13 msg[2] = 0x73 as u8 14 msg[3] = 0x68 as u8 15 msg[4] = 0x69 as u8 16 msg[5] = 0x20 as u8 17 msg[6] = 0x72 as u8 18 msg[7] = 0x73 as u8 19 msg[8] = 0x61 as u8 20 msg[9] = 0x33 as u8 21 msg[10] = 0x30 as u8 22 msg[11] = 0x37 as u8 23 msg[12] = 0x32 as u8 24 msg[13] = 0x20 as u8 25 msg[14] = 0x6b as u8 26 msg[15] = 0x61 as u8 27 msg[16] = 0x74 as u8 28 let s256: *u8 = (sys_mmap(392)) as *u8 29 s256[0] = 0x7b as u8 30 s256[1] = 0x74 as u8 31 s256[2] = 0x51 as u8 32 s256[3] = 0x09 as u8 33 s256[4] = 0x30 as u8 34 s256[5] = 0xfe as u8 35 s256[6] = 0x14 as u8 36 s256[7] = 0x4b as u8 37 s256[8] = 0x7c as u8 38 s256[9] = 0x52 as u8 39 s256[10] = 0xff as u8 40 s256[11] = 0x44 as u8 41 s256[12] = 0x44 as u8 42 s256[13] = 0x92 as u8 43 s256[14] = 0xc4 as u8 44 s256[15] = 0x95 as u8 45 s256[16] = 0x3d as u8 46 s256[17] = 0xed as u8 47 s256[18] = 0xc1 as u8 48 s256[19] = 0xc8 as u8 49 s256[20] = 0x1e as u8 50 s256[21] = 0x75 as u8 51 s256[22] = 0xc0 as u8 52 s256[23] = 0x22 as u8 53 s256[24] = 0x1b as u8 54 s256[25] = 0x9b as u8 55 s256[26] = 0xcc as u8 56 s256[27] = 0x0a as u8 57 s256[28] = 0xd9 as u8 58 s256[29] = 0x86 as u8 59 s256[30] = 0x00 as u8 60 s256[31] = 0x07 as u8 61 s256[32] = 0x73 as u8 62 s256[33] = 0x73 as u8 63 s256[34] = 0x35 as u8 64 s256[35] = 0x95 as u8 65 s256[36] = 0x9c as u8 66 s256[37] = 0x07 as u8 67 s256[38] = 0xa2 as u8 68 s256[39] = 0xc7 as u8 69 s256[40] = 0x93 as u8 70 s256[41] = 0x70 as u8 71 s256[42] = 0x18 as u8 72 s256[43] = 0xff as u8 73 s256[44] = 0xa0 as u8 74 s256[45] = 0xaf as u8 75 s256[46] = 0x2a as u8 76 s256[47] = 0x0b as u8 77 s256[48] = 0x94 as u8 78 s256[49] = 0x8d as u8 79 s256[50] = 0xdd as u8 80 s256[51] = 0x79 as u8 81 s256[52] = 0x10 as u8 82 s256[53] = 0x54 as u8 83 s256[54] = 0xe5 as u8 84 s256[55] = 0x87 as u8 85 s256[56] = 0xd3 as u8 86 s256[57] = 0xde as u8 87 s256[58] = 0xd6 as u8 88 s256[59] = 0x7b as u8 89 s256[60] = 0xb4 as u8 90 s256[61] = 0x67 as u8 91 s256[62] = 0x1b as u8 92 s256[63] = 0xa8 as u8 93 s256[64] = 0xea as u8 94 s256[65] = 0xcf as u8 95 s256[66] = 0xcf as u8 96 s256[67] = 0x8c as u8 97 s256[68] = 0xe3 as u8 98 s256[69] = 0x82 as u8 99 s256[70] = 0x1b as u8 100 s256[71] = 0x4e as u8 101 s256[72] = 0xc4 as u8 102 s256[73] = 0xd2 as u8 103 s256[74] = 0x3d as u8 104 s256[75] = 0xdb as u8 105 s256[76] = 0x9c as u8 106 s256[77] = 0xb0 as u8 107 s256[78] = 0xcc as u8 108 s256[79] = 0x0b as u8 109 s256[80] = 0xc0 as u8 110 s256[81] = 0x02 as u8 111 s256[82] = 0x97 as u8 112 s256[83] = 0xdb as u8 113 s256[84] = 0x12 as u8 114 s256[85] = 0xa8 as u8 115 s256[86] = 0x74 as u8 116 s256[87] = 0x9d as u8 117 s256[88] = 0x04 as u8 118 s256[89] = 0x9d as u8 119 s256[90] = 0x99 as u8 120 s256[91] = 0x04 as u8 121 s256[92] = 0x3b as u8 122 s256[93] = 0x26 as u8 123 s256[94] = 0x76 as u8 124 s256[95] = 0xba as u8 125 s256[96] = 0xe8 as u8 126 s256[97] = 0x6e as u8 127 s256[98] = 0xb1 as u8 128 s256[99] = 0x7c as u8 129 s256[100] = 0x43 as u8 130 s256[101] = 0x40 as u8 131 s256[102] = 0x52 as u8 132 s256[103] = 0xc9 as u8 133 s256[104] = 0x53 as u8 134 s256[105] = 0xb1 as u8 135 s256[106] = 0x17 as u8 136 s256[107] = 0x12 as u8 137 s256[108] = 0x41 as u8 138 s256[109] = 0xab as u8 139 s256[110] = 0xeb as u8 140 s256[111] = 0x56 as u8 141 s256[112] = 0x04 as u8 142 s256[113] = 0xec as u8 143 s256[114] = 0x3b as u8 144 s256[115] = 0x29 as u8 145 s256[116] = 0xde as u8 146 s256[117] = 0xb2 as u8 147 s256[118] = 0x75 as u8 148 s256[119] = 0xcf as u8 149 s256[120] = 0x0f as u8 150 s256[121] = 0x5e as u8 151 s256[122] = 0x91 as u8 152 s256[123] = 0xe2 as u8 153 s256[124] = 0xe1 as u8 154 s256[125] = 0x43 as u8 155 s256[126] = 0xcf as u8 156 s256[127] = 0x25 as u8 157 s256[128] = 0xea as u8 158 s256[129] = 0x62 as u8 159 s256[130] = 0xb5 as u8 160 s256[131] = 0x21 as u8 161 s256[132] = 0x8d as u8 162 s256[133] = 0x54 as u8 163 s256[134] = 0x99 as u8 164 s256[135] = 0xdd as u8 165 s256[136] = 0x77 as u8 166 s256[137] = 0x66 as u8 167 s256[138] = 0x9e as u8 168 s256[139] = 0xae as u8 169 s256[140] = 0xfb as u8 170 s256[141] = 0xac as u8 171 s256[142] = 0x1a as u8 172 s256[143] = 0x72 as u8 173 s256[144] = 0x61 as u8 174 s256[145] = 0xd6 as u8 175 s256[146] = 0x56 as u8 176 s256[147] = 0xb2 as u8 177 s256[148] = 0x1d as u8 178 s256[149] = 0xb1 as u8 179 s256[150] = 0xad as u8 180 s256[151] = 0xe9 as u8 181 s256[152] = 0xce as u8 182 s256[153] = 0x14 as u8 183 s256[154] = 0x92 as u8 184 s256[155] = 0x6c as u8 185 s256[156] = 0x81 as u8 186 s256[157] = 0x59 as u8 187 s256[158] = 0xc6 as u8 188 s256[159] = 0xe5 as u8 189 s256[160] = 0xa8 as u8 190 s256[161] = 0xe8 as u8 191 s256[162] = 0xc1 as u8 192 s256[163] = 0x4f as u8 193 s256[164] = 0xae as u8 194 s256[165] = 0x54 as u8 195 s256[166] = 0x9c as u8 196 s256[167] = 0x39 as u8 197 s256[168] = 0x30 as u8 198 s256[169] = 0x8f as u8 199 s256[170] = 0x98 as u8 200 s256[171] = 0xc2 as u8 201 s256[172] = 0x7e as u8 202 s256[173] = 0x33 as u8 203 s256[174] = 0xb3 as u8 204 s256[175] = 0x37 as u8 205 s256[176] = 0x5e as u8 206 s256[177] = 0xdc as u8 207 s256[178] = 0xec as u8 208 s256[179] = 0x79 as u8 209 s256[180] = 0x96 as u8 210 s256[181] = 0x9f as u8 211 s256[182] = 0x37 as u8 212 s256[183] = 0x75 as u8 213 s256[184] = 0x72 as u8 214 s256[185] = 0x43 as u8 215 s256[186] = 0xed as u8 216 s256[187] = 0x0e as u8 217 s256[188] = 0xd2 as u8 218 s256[189] = 0xfa as u8 219 s256[190] = 0xc4 as u8 220 s256[191] = 0xf6 as u8 221 s256[192] = 0xf0 as u8 222 s256[193] = 0x25 as u8 223 s256[194] = 0x3b as u8 224 s256[195] = 0x9b as u8 225 s256[196] = 0x39 as u8 226 s256[197] = 0x14 as u8 227 s256[198] = 0x51 as u8 228 s256[199] = 0x3d as u8 229 s256[200] = 0x3a as u8 230 s256[201] = 0x32 as u8 231 s256[202] = 0xe1 as u8 232 s256[203] = 0x94 as u8 233 s256[204] = 0x6a as u8 234 s256[205] = 0x9f as u8 235 s256[206] = 0x02 as u8 236 s256[207] = 0x1b as u8 237 s256[208] = 0xdd as u8 238 s256[209] = 0xee as u8 239 s256[210] = 0x52 as u8 240 s256[211] = 0xda as u8 241 s256[212] = 0xc8 as u8 242 s256[213] = 0x62 as u8 243 s256[214] = 0x9e as u8 244 s256[215] = 0xc5 as u8 245 s256[216] = 0x48 as u8 246 s256[217] = 0x37 as u8 247 s256[218] = 0xa6 as u8 248 s256[219] = 0x01 as u8 249 s256[220] = 0x6c as u8 250 s256[221] = 0xbc as u8 251 s256[222] = 0x2c as u8 252 s256[223] = 0x5d as u8 253 s256[224] = 0x87 as u8 254 s256[225] = 0xdc as u8 255 s256[226] = 0xcf as u8 256 s256[227] = 0x75 as u8 257 s256[228] = 0x35 as u8 258 s256[229] = 0x17 as u8 259 s256[230] = 0x84 as u8 260 s256[231] = 0x5b as u8 261 s256[232] = 0xdf as u8 262 s256[233] = 0x86 as u8 263 s256[234] = 0x28 as u8 264 s256[235] = 0x4d as u8 265 s256[236] = 0xfc as u8 266 s256[237] = 0x45 as u8 267 s256[238] = 0xad as u8 268 s256[239] = 0x55 as u8 269 s256[240] = 0x45 as u8 270 s256[241] = 0xfe as u8 271 s256[242] = 0xfc as u8 272 s256[243] = 0x89 as u8 273 s256[244] = 0x76 as u8 274 s256[245] = 0xd1 as u8 275 s256[246] = 0x4d as u8 276 s256[247] = 0x75 as u8 277 s256[248] = 0xdc as u8 278 s256[249] = 0xa6 as u8 279 s256[250] = 0x49 as u8 280 s256[251] = 0x99 as u8 281 s256[252] = 0x87 as u8 282 s256[253] = 0xda as u8 283 s256[254] = 0xd2 as u8 284 s256[255] = 0x44 as u8 285 s256[256] = 0x89 as u8 286 s256[257] = 0xae as u8 287 s256[258] = 0xc4 as u8 288 s256[259] = 0x12 as u8 289 s256[260] = 0x30 as u8 290 s256[261] = 0x16 as u8 291 s256[262] = 0x81 as u8 292 s256[263] = 0x5e as u8 293 s256[264] = 0xe1 as u8 294 s256[265] = 0x11 as u8 295 s256[266] = 0xe7 as u8 296 s256[267] = 0xd9 as u8 297 s256[268] = 0x96 as u8 298 s256[269] = 0xfe as u8 299 s256[270] = 0xf0 as u8 300 s256[271] = 0x9a as u8 301 s256[272] = 0x49 as u8 302 s256[273] = 0x12 as u8 303 s256[274] = 0xaf as u8 304 s256[275] = 0x9a as u8 305 s256[276] = 0x9d as u8 306 s256[277] = 0x4e as u8 307 s256[278] = 0x9e as u8 308 s256[279] = 0x5b as u8 309 s256[280] = 0x7e as u8 310 s256[281] = 0xb4 as u8 311 s256[282] = 0x57 as u8 312 s256[283] = 0xd8 as u8 313 s256[284] = 0x1f as u8 314 s256[285] = 0x7e as u8 315 s256[286] = 0xd2 as u8 316 s256[287] = 0xcb as u8 317 s256[288] = 0x44 as u8 318 s256[289] = 0x48 as u8 319 s256[290] = 0x0b as u8 320 s256[291] = 0xab as u8 321 s256[292] = 0xf6 as u8 322 s256[293] = 0x49 as u8 323 s256[294] = 0x26 as u8 324 s256[295] = 0x6d as u8 325 s256[296] = 0x0e as u8 326 s256[297] = 0x92 as u8 327 s256[298] = 0xb2 as u8 328 s256[299] = 0xb1 as u8 329 s256[300] = 0x71 as u8 330 s256[301] = 0x20 as u8 331 s256[302] = 0xe1 as u8 332 s256[303] = 0x9c as u8 333 s256[304] = 0x52 as u8 334 s256[305] = 0xf0 as u8 335 s256[306] = 0x40 as u8 336 s256[307] = 0x5c as u8 337 s256[308] = 0x55 as u8 338 s256[309] = 0x05 as u8 339 s256[310] = 0x06 as u8 340 s256[311] = 0xd3 as u8 341 s256[312] = 0x3b as u8 342 s256[313] = 0x35 as u8 343 s256[314] = 0xde as u8 344 s256[315] = 0x85 as u8 345 s256[316] = 0x44 as u8 346 s256[317] = 0xf1 as u8 347 s256[318] = 0xb2 as u8 348 s256[319] = 0xd7 as u8 349 s256[320] = 0x95 as u8 350 s256[321] = 0x52 as u8 351 s256[322] = 0x76 as u8 352 s256[323] = 0x44 as u8 353 s256[324] = 0xe9 as u8 354 s256[325] = 0x13 as u8 355 s256[326] = 0xa1 as u8 356 s256[327] = 0xf8 as u8 357 s256[328] = 0x9b as u8 358 s256[329] = 0xb9 as u8 359 s256[330] = 0xba as u8 360 s256[331] = 0xf4 as u8 361 s256[332] = 0x91 as u8 362 s256[333] = 0x06 as u8 363 s256[334] = 0xda as u8 364 s256[335] = 0x36 as u8 365 s256[336] = 0x12 as u8 366 s256[337] = 0x77 as u8 367 s256[338] = 0x1a as u8 368 s256[339] = 0x0f as u8 369 s256[340] = 0x1c as u8 370 s256[341] = 0xcc as u8 371 s256[342] = 0x7f as u8 372 s256[343] = 0xce as u8 373 s256[344] = 0x5a as u8 374 s256[345] = 0x4a as u8 375 s256[346] = 0x00 as u8 376 s256[347] = 0x39 as u8 377 s256[348] = 0xc5 as u8 378 s256[349] = 0x04 as u8 379 s256[350] = 0xc9 as u8 380 s256[351] = 0xe2 as u8 381 s256[352] = 0x22 as u8 382 s256[353] = 0x1a as u8 383 s256[354] = 0x63 as u8 384 s256[355] = 0x4b as u8 385 s256[356] = 0x58 as u8 386 s256[357] = 0xdf as u8 387 s256[358] = 0xb7 as u8 388 s256[359] = 0xfe as u8 389 s256[360] = 0x7d as u8 390 s256[361] = 0xfe as u8 391 s256[362] = 0x69 as u8 392 s256[363] = 0x50 as u8 393 s256[364] = 0x09 as u8 394 s256[365] = 0x45 as u8 395 s256[366] = 0x52 as u8 396 s256[367] = 0x38 as u8 397 s256[368] = 0xd0 as u8 398 s256[369] = 0xcf as u8 399 s256[370] = 0x44 as u8 400 s256[371] = 0x50 as u8 401 s256[372] = 0xd8 as u8 402 s256[373] = 0x60 as u8 403 s256[374] = 0x13 as u8 404 s256[375] = 0x56 as u8 405 s256[376] = 0xcd as u8 406 s256[377] = 0x0e as u8 407 s256[378] = 0x3f as u8 408 s256[379] = 0xa5 as u8 409 s256[380] = 0x79 as u8 410 s256[381] = 0xc0 as u8 411 s256[382] = 0x59 as u8 412 s256[383] = 0xd1 as u8 413 let s384: *u8 = (sys_mmap(392)) as *u8 414 s384[0] = 0x91 as u8 415 s384[1] = 0xa8 as u8 416 s384[2] = 0x05 as u8 417 s384[3] = 0xa9 as u8 418 s384[4] = 0xd3 as u8 419 s384[5] = 0x8c as u8 420 s384[6] = 0x77 as u8 421 s384[7] = 0x2a as u8 422 s384[8] = 0x76 as u8 423 s384[9] = 0xfb as u8 424 s384[10] = 0xd6 as u8 425 s384[11] = 0x8b as u8 426 s384[12] = 0x37 as u8 427 s384[13] = 0x93 as u8 428 s384[14] = 0xab as u8 429 s384[15] = 0x88 as u8 430 s384[16] = 0x4a as u8 431 s384[17] = 0xf7 as u8 432 s384[18] = 0x7b as u8 433 s384[19] = 0xaa as u8 434 s384[20] = 0xb3 as u8 435 s384[21] = 0xdc as u8 436 s384[22] = 0x39 as u8 437 s384[23] = 0xa8 as u8 438 s384[24] = 0x4e as u8 439 s384[25] = 0xed as u8 440 s384[26] = 0x8e as u8 441 s384[27] = 0x87 as u8 442 s384[28] = 0x6e as u8 443 s384[29] = 0x6a as u8 444 s384[30] = 0xc5 as u8 445 s384[31] = 0x08 as u8 446 s384[32] = 0x59 as u8 447 s384[33] = 0x9f as u8 448 s384[34] = 0x54 as u8 449 s384[35] = 0x89 as u8 450 s384[36] = 0x46 as u8 451 s384[37] = 0xb6 as u8 452 s384[38] = 0xe5 as u8 453 s384[39] = 0xf7 as u8 454 s384[40] = 0xd5 as u8 455 s384[41] = 0x24 as u8 456 s384[42] = 0x9b as u8 457 s384[43] = 0xf4 as u8 458 s384[44] = 0x5a as u8 459 s384[45] = 0xa6 as u8 460 s384[46] = 0x57 as u8 461 s384[47] = 0x39 as u8 462 s384[48] = 0x36 as u8 463 s384[49] = 0xb8 as u8 464 s384[50] = 0x46 as u8 465 s384[51] = 0x5f as u8 466 s384[52] = 0x93 as u8 467 s384[53] = 0x12 as u8 468 s384[54] = 0x2a as u8 469 s384[55] = 0x92 as u8 470 s384[56] = 0x0d as u8 471 s384[57] = 0x72 as u8 472 s384[58] = 0x35 as u8 473 s384[59] = 0x33 as u8 474 s384[60] = 0xf0 as u8 475 s384[61] = 0x6e as u8 476 s384[62] = 0xca as u8 477 s384[63] = 0xb2 as u8 478 s384[64] = 0x7b as u8 479 s384[65] = 0x7c as u8 480 s384[66] = 0xe4 as u8 481 s384[67] = 0x42 as u8 482 s384[68] = 0xfd as u8 483 s384[69] = 0xef as u8 484 s384[70] = 0x2b as u8 485 s384[71] = 0xf9 as u8 486 s384[72] = 0x83 as u8 487 s384[73] = 0x68 as u8 488 s384[74] = 0x40 as u8 489 s384[75] = 0x27 as u8 490 s384[76] = 0xa0 as u8 491 s384[77] = 0xee as u8 492 s384[78] = 0x51 as u8 493 s384[79] = 0xcd as u8 494 s384[80] = 0x4f as u8 495 s384[81] = 0xd4 as u8 496 s384[82] = 0xf8 as u8 497 s384[83] = 0x3e as u8 498 s384[84] = 0x61 as u8 499 s384[85] = 0x53 as u8 500 s384[86] = 0x12 as u8 501 s384[87] = 0x68 as u8 502 s384[88] = 0xeb as u8 503 s384[89] = 0xba as u8 504 s384[90] = 0xab as u8 505 s384[91] = 0x83 as u8 506 s384[92] = 0x2b as u8 507 s384[93] = 0x9e as u8 508 s384[94] = 0xa2 as u8 509 s384[95] = 0x51 as u8 510 s384[96] = 0xa5 as u8 511 s384[97] = 0x54 as u8 512 s384[98] = 0x14 as u8 513 s384[99] = 0x20 as u8 514 s384[100] = 0xa2 as u8 515 s384[101] = 0x03 as u8 516 s384[102] = 0x73 as u8 517 s384[103] = 0xd9 as u8 518 s384[104] = 0xb3 as u8 519 s384[105] = 0x9b as u8 520 s384[106] = 0x72 as u8 521 s384[107] = 0xaf as u8 522 s384[108] = 0xe2 as u8 523 s384[109] = 0xae as u8 524 s384[110] = 0x70 as u8 525 s384[111] = 0x59 as u8 526 s384[112] = 0xf4 as u8 527 s384[113] = 0x66 as u8 528 s384[114] = 0xc8 as u8 529 s384[115] = 0x1f as u8 530 s384[116] = 0xb4 as u8 531 s384[117] = 0x95 as u8 532 s384[118] = 0x0a as u8 533 s384[119] = 0xa1 as u8 534 s384[120] = 0x82 as u8 535 s384[121] = 0x02 as u8 536 s384[122] = 0x26 as u8 537 s384[123] = 0x95 as u8 538 s384[124] = 0xfa as u8 539 s384[125] = 0x50 as u8 540 s384[126] = 0xb9 as u8 541 s384[127] = 0x46 as u8 542 s384[128] = 0xa4 as u8 543 s384[129] = 0x94 as u8 544 s384[130] = 0x72 as u8 545 s384[131] = 0x57 as u8 546 s384[132] = 0x0c as u8 547 s384[133] = 0xd8 as u8 548 s384[134] = 0x90 as u8 549 s384[135] = 0xd9 as u8 550 s384[136] = 0x23 as u8 551 s384[137] = 0xdd as u8 552 s384[138] = 0x96 as u8 553 s384[139] = 0x0d as u8 554 s384[140] = 0x6a as u8 555 s384[141] = 0x7f as u8 556 s384[142] = 0xba as u8 557 s384[143] = 0x12 as u8 558 s384[144] = 0x3c as u8 559 s384[145] = 0x74 as u8 560 s384[146] = 0x38 as u8 561 s384[147] = 0x49 as u8 562 s384[148] = 0xf4 as u8 563 s384[149] = 0xe6 as u8 564 s384[150] = 0x9f as u8 565 s384[151] = 0x85 as u8 566 s384[152] = 0x86 as u8 567 s384[153] = 0xb3 as u8 568 s384[154] = 0xa4 as u8 569 s384[155] = 0xad as u8 570 s384[156] = 0xf6 as u8 571 s384[157] = 0xd6 as u8 572 s384[158] = 0x2e as u8 573 s384[159] = 0xb2 as u8 574 s384[160] = 0xb3 as u8 575 s384[161] = 0x58 as u8 576 s384[162] = 0x7e as u8 577 s384[163] = 0xbe as u8 578 s384[164] = 0xfa as u8 579 s384[165] = 0x0a as u8 580 s384[166] = 0x47 as u8 581 s384[167] = 0x8a as u8 582 s384[168] = 0xb1 as u8 583 s384[169] = 0x0a as u8 584 s384[170] = 0xef as u8 585 s384[171] = 0xcb as u8 586 s384[172] = 0x76 as u8 587 s384[173] = 0x5d as u8 588 s384[174] = 0x81 as u8 589 s384[175] = 0x93 as u8 590 s384[176] = 0x78 as u8 591 s384[177] = 0x05 as u8 592 s384[178] = 0xb7 as u8 593 s384[179] = 0x70 as u8 594 s384[180] = 0x17 as u8 595 s384[181] = 0xc6 as u8 596 s384[182] = 0xf8 as u8 597 s384[183] = 0xdd as u8 598 s384[184] = 0x39 as u8 599 s384[185] = 0x57 as u8 600 s384[186] = 0x80 as u8 601 s384[187] = 0xee as u8 602 s384[188] = 0xb2 as u8 603 s384[189] = 0x98 as u8 604 s384[190] = 0x51 as u8 605 s384[191] = 0xb7 as u8 606 s384[192] = 0x9f as u8 607 s384[193] = 0xc4 as u8 608 s384[194] = 0x7f as u8 609 s384[195] = 0x5b as u8 610 s384[196] = 0x72 as u8 611 s384[197] = 0x46 as u8 612 s384[198] = 0x57 as u8 613 s384[199] = 0x22 as u8 614 s384[200] = 0x83 as u8 615 s384[201] = 0x1b as u8 616 s384[202] = 0x17 as u8 617 s384[203] = 0xdd as u8 618 s384[204] = 0xaf as u8 619 s384[205] = 0x53 as u8 620 s384[206] = 0x77 as u8 621 s384[207] = 0xb7 as u8 622 s384[208] = 0xb2 as u8 623 s384[209] = 0xfb as u8 624 s384[210] = 0xa2 as u8 625 s384[211] = 0xff as u8 626 s384[212] = 0xf8 as u8 627 s384[213] = 0x29 as u8 628 s384[214] = 0x8d as u8 629 s384[215] = 0x91 as u8 630 s384[216] = 0xcc as u8 631 s384[217] = 0xbf as u8 632 s384[218] = 0x48 as u8 633 s384[219] = 0xc2 as u8 634 s384[220] = 0x94 as u8 635 s384[221] = 0xeb as u8 636 s384[222] = 0x83 as u8 637 s384[223] = 0x92 as u8 638 s384[224] = 0x7b as u8 639 s384[225] = 0x0f as u8 640 s384[226] = 0x13 as u8 641 s384[227] = 0x0b as u8 642 s384[228] = 0xc2 as u8 643 s384[229] = 0x51 as u8 644 s384[230] = 0x1a as u8 645 s384[231] = 0xdb as u8 646 s384[232] = 0xdf as u8 647 s384[233] = 0x57 as u8 648 s384[234] = 0xfb as u8 649 s384[235] = 0x2e as u8 650 s384[236] = 0x9c as u8 651 s384[237] = 0xdb as u8 652 s384[238] = 0xac as u8 653 s384[239] = 0x05 as u8 654 s384[240] = 0x48 as u8 655 s384[241] = 0x26 as u8 656 s384[242] = 0x9c as u8 657 s384[243] = 0xfc as u8 658 s384[244] = 0x60 as u8 659 s384[245] = 0x59 as u8 660 s384[246] = 0x46 as u8 661 s384[247] = 0x4b as u8 662 s384[248] = 0x84 as u8 663 s384[249] = 0x20 as u8 664 s384[250] = 0x5a as u8 665 s384[251] = 0x1b as u8 666 s384[252] = 0x38 as u8 667 s384[253] = 0xcd as u8 668 s384[254] = 0x5b as u8 669 s384[255] = 0xbf as u8 670 s384[256] = 0xae as u8 671 s384[257] = 0xf2 as u8 672 s384[258] = 0x64 as u8 673 s384[259] = 0xb1 as u8 674 s384[260] = 0x41 as u8 675 s384[261] = 0xb6 as u8 676 s384[262] = 0x94 as u8 677 s384[263] = 0x05 as u8 678 s384[264] = 0xae as u8 679 s384[265] = 0xb3 as u8 680 s384[266] = 0xd7 as u8 681 s384[267] = 0xfe as u8 682 s384[268] = 0x0b as u8 683 s384[269] = 0x3f as u8 684 s384[270] = 0xa2 as u8 685 s384[271] = 0x1a as u8 686 s384[272] = 0xc6 as u8 687 s384[273] = 0x3f as u8 688 s384[274] = 0x50 as u8 689 s384[275] = 0xb9 as u8 690 s384[276] = 0x88 as u8 691 s384[277] = 0xaf as u8 692 s384[278] = 0x55 as u8 693 s384[279] = 0x4b as u8 694 s384[280] = 0x02 as u8 695 s384[281] = 0x49 as u8 696 s384[282] = 0xce as u8 697 s384[283] = 0x3a as u8 698 s384[284] = 0x60 as u8 699 s384[285] = 0x03 as u8 700 s384[286] = 0x6d as u8 701 s384[287] = 0x4a as u8 702 s384[288] = 0xcb as u8 703 s384[289] = 0xe8 as u8 704 s384[290] = 0x64 as u8 705 s384[291] = 0x53 as u8 706 s384[292] = 0x9d as u8 707 s384[293] = 0x24 as u8 708 s384[294] = 0x8e as u8 709 s384[295] = 0x6c as u8 710 s384[296] = 0x86 as u8 711 s384[297] = 0x8e as u8 712 s384[298] = 0x80 as u8 713 s384[299] = 0x4f as u8 714 s384[300] = 0x40 as u8 715 s384[301] = 0xbe as u8 716 s384[302] = 0x1d as u8 717 s384[303] = 0xb6 as u8 718 s384[304] = 0x9f as u8 719 s384[305] = 0x64 as u8 720 s384[306] = 0xc7 as u8 721 s384[307] = 0x33 as u8 722 s384[308] = 0x54 as u8 723 s384[309] = 0x81 as u8 724 s384[310] = 0xd0 as u8 725 s384[311] = 0x40 as u8 726 s384[312] = 0xdd as u8 727 s384[313] = 0x0a as u8 728 s384[314] = 0x0f as u8 729 s384[315] = 0x0c as u8 730 s384[316] = 0x23 as u8 731 s384[317] = 0x2c as u8 732 s384[318] = 0xa4 as u8 733 s384[319] = 0x4d as u8 734 s384[320] = 0x7a as u8 735 s384[321] = 0x56 as u8 736 s384[322] = 0x8b as u8 737 s384[323] = 0x59 as u8 738 s384[324] = 0x75 as u8 739 s384[325] = 0xa6 as u8 740 s384[326] = 0xe8 as u8 741 s384[327] = 0x02 as u8 742 s384[328] = 0x60 as u8 743 s384[329] = 0xc3 as u8 744 s384[330] = 0x0d as u8 745 s384[331] = 0x52 as u8 746 s384[332] = 0xf7 as u8 747 s384[333] = 0x7b as u8 748 s384[334] = 0x54 as u8 749 s384[335] = 0x2d as u8 750 s384[336] = 0x21 as u8 751 s384[337] = 0x23 as u8 752 s384[338] = 0x15 as u8 753 s384[339] = 0x4b as u8 754 s384[340] = 0x5a as u8 755 s384[341] = 0xef as u8 756 s384[342] = 0x7d as u8 757 s384[343] = 0xe1 as u8 758 s384[344] = 0x5c as u8 759 s384[345] = 0x8d as u8 760 s384[346] = 0x9a as u8 761 s384[347] = 0xad as u8 762 s384[348] = 0x23 as u8 763 s384[349] = 0xd1 as u8 764 s384[350] = 0x90 as u8 765 s384[351] = 0x40 as u8 766 s384[352] = 0xc6 as u8 767 s384[353] = 0x45 as u8 768 s384[354] = 0x12 as u8 769 s384[355] = 0x74 as u8 770 s384[356] = 0x36 as u8 771 s384[357] = 0xf8 as u8 772 s384[358] = 0xaf as u8 773 s384[359] = 0xd7 as u8 774 s384[360] = 0x1d as u8 775 s384[361] = 0x26 as u8 776 s384[362] = 0xd4 as u8 777 s384[363] = 0xe9 as u8 778 s384[364] = 0xb1 as u8 779 s384[365] = 0x20 as u8 780 s384[366] = 0x92 as u8 781 s384[367] = 0x2a as u8 782 s384[368] = 0x87 as u8 783 s384[369] = 0xb6 as u8 784 s384[370] = 0x3e as u8 785 s384[371] = 0xe9 as u8 786 s384[372] = 0x94 as u8 787 s384[373] = 0x11 as u8 788 s384[374] = 0x25 as u8 789 s384[375] = 0x1a as u8 790 s384[376] = 0x57 as u8 791 s384[377] = 0x2b as u8 792 s384[378] = 0xa5 as u8 793 s384[379] = 0xb3 as u8 794 s384[380] = 0x6f as u8 795 s384[381] = 0x25 as u8 796 s384[382] = 0x38 as u8 797 s384[383] = 0x5b as u8 798 let n512: *u8 = (sys_mmap(520)) as *u8 799 n512[0] = 0x00 as u8 800 n512[1] = 0x00 as u8 801 n512[2] = 0x00 as u8 802 n512[3] = 0x00 as u8 803 n512[4] = 0x00 as u8 804 n512[5] = 0x00 as u8 805 n512[6] = 0x00 as u8 806 n512[7] = 0x00 as u8 807 n512[8] = 0x00 as u8 808 n512[9] = 0x00 as u8 809 n512[10] = 0x00 as u8 810 n512[11] = 0x00 as u8 811 n512[12] = 0x00 as u8 812 n512[13] = 0x00 as u8 813 n512[14] = 0x00 as u8 814 n512[15] = 0x00 as u8 815 n512[16] = 0x00 as u8 816 n512[17] = 0x00 as u8 817 n512[18] = 0x00 as u8 818 n512[19] = 0x00 as u8 819 n512[20] = 0x00 as u8 820 n512[21] = 0x00 as u8 821 n512[22] = 0x00 as u8 822 n512[23] = 0x00 as u8 823 n512[24] = 0x00 as u8 824 n512[25] = 0x00 as u8 825 n512[26] = 0x00 as u8 826 n512[27] = 0x00 as u8 827 n512[28] = 0x00 as u8 828 n512[29] = 0x00 as u8 829 n512[30] = 0x00 as u8 830 n512[31] = 0x00 as u8 831 n512[32] = 0x00 as u8 832 n512[33] = 0x00 as u8 833 n512[34] = 0x00 as u8 834 n512[35] = 0x00 as u8 835 n512[36] = 0x00 as u8 836 n512[37] = 0x00 as u8 837 n512[38] = 0x00 as u8 838 n512[39] = 0x00 as u8 839 n512[40] = 0x00 as u8 840 n512[41] = 0x00 as u8 841 n512[42] = 0x00 as u8 842 n512[43] = 0x00 as u8 843 n512[44] = 0x00 as u8 844 n512[45] = 0x00 as u8 845 n512[46] = 0x00 as u8 846 n512[47] = 0x00 as u8 847 n512[48] = 0x00 as u8 848 n512[49] = 0x00 as u8 849 n512[50] = 0x00 as u8 850 n512[51] = 0x00 as u8 851 n512[52] = 0x00 as u8 852 n512[53] = 0x00 as u8 853 n512[54] = 0x00 as u8 854 n512[55] = 0x00 as u8 855 n512[56] = 0x00 as u8 856 n512[57] = 0x00 as u8 857 n512[58] = 0x00 as u8 858 n512[59] = 0x00 as u8 859 n512[60] = 0x00 as u8 860 n512[61] = 0x00 as u8 861 n512[62] = 0x00 as u8 862 n512[63] = 0x00 as u8 863 n512[64] = 0x00 as u8 864 n512[65] = 0x00 as u8 865 n512[66] = 0x00 as u8 866 n512[67] = 0x00 as u8 867 n512[68] = 0x00 as u8 868 n512[69] = 0x00 as u8 869 n512[70] = 0x00 as u8 870 n512[71] = 0x00 as u8 871 n512[72] = 0x00 as u8 872 n512[73] = 0x00 as u8 873 n512[74] = 0x00 as u8 874 n512[75] = 0x00 as u8 875 n512[76] = 0x00 as u8 876 n512[77] = 0x00 as u8 877 n512[78] = 0x00 as u8 878 n512[79] = 0x00 as u8 879 n512[80] = 0x00 as u8 880 n512[81] = 0x00 as u8 881 n512[82] = 0x00 as u8 882 n512[83] = 0x00 as u8 883 n512[84] = 0x00 as u8 884 n512[85] = 0x00 as u8 885 n512[86] = 0x00 as u8 886 n512[87] = 0x00 as u8 887 n512[88] = 0x00 as u8 888 n512[89] = 0x00 as u8 889 n512[90] = 0x00 as u8 890 n512[91] = 0x00 as u8 891 n512[92] = 0x00 as u8 892 n512[93] = 0x00 as u8 893 n512[94] = 0x00 as u8 894 n512[95] = 0x00 as u8 895 n512[96] = 0x00 as u8 896 n512[97] = 0x00 as u8 897 n512[98] = 0x00 as u8 898 n512[99] = 0x00 as u8 899 n512[100] = 0x00 as u8 900 n512[101] = 0x00 as u8 901 n512[102] = 0x00 as u8 902 n512[103] = 0x00 as u8 903 n512[104] = 0x00 as u8 904 n512[105] = 0x00 as u8 905 n512[106] = 0x00 as u8 906 n512[107] = 0x00 as u8 907 n512[108] = 0x00 as u8 908 n512[109] = 0x00 as u8 909 n512[110] = 0x00 as u8 910 n512[111] = 0x00 as u8 911 n512[112] = 0x00 as u8 912 n512[113] = 0x00 as u8 913 n512[114] = 0x00 as u8 914 n512[115] = 0x00 as u8 915 n512[116] = 0x00 as u8 916 n512[117] = 0x00 as u8 917 n512[118] = 0x00 as u8 918 n512[119] = 0x00 as u8 919 n512[120] = 0x00 as u8 920 n512[121] = 0x00 as u8 921 n512[122] = 0x00 as u8 922 n512[123] = 0x00 as u8 923 n512[124] = 0x00 as u8 924 n512[125] = 0x00 as u8 925 n512[126] = 0x00 as u8 926 n512[127] = 0x00 as u8 927 n512[128] = 0xc6 as u8 928 n512[129] = 0xec as u8 929 n512[130] = 0x7c as u8 930 n512[131] = 0xcf as u8 931 n512[132] = 0xe6 as u8 932 n512[133] = 0xed as u8 933 n512[134] = 0xe1 as u8 934 n512[135] = 0xdb as u8 935 n512[136] = 0xd4 as u8 936 n512[137] = 0x27 as u8 937 n512[138] = 0xc2 as u8 938 n512[139] = 0xb0 as u8 939 n512[140] = 0xb4 as u8 940 n512[141] = 0xac as u8 941 n512[142] = 0x8c as u8 942 n512[143] = 0x75 as u8 943 n512[144] = 0xe7 as u8 944 n512[145] = 0x2a as u8 945 n512[146] = 0x4e as u8 946 n512[147] = 0xe3 as u8 947 n512[148] = 0x7d as u8 948 n512[149] = 0x72 as u8 949 n512[150] = 0x69 as u8 950 n512[151] = 0xcc as u8 951 n512[152] = 0xb8 as u8 952 n512[153] = 0x5a as u8 953 n512[154] = 0x6f as u8 954 n512[155] = 0xe7 as u8 955 n512[156] = 0xc1 as u8 956 n512[157] = 0xdc as u8 957 n512[158] = 0x51 as u8 958 n512[159] = 0xa5 as u8 959 n512[160] = 0xa9 as u8 960 n512[161] = 0xeb as u8 961 n512[162] = 0xd2 as u8 962 n512[163] = 0xed as u8 963 n512[164] = 0xde as u8 964 n512[165] = 0x96 as u8 965 n512[166] = 0x5c as u8 966 n512[167] = 0x5f as u8 967 n512[168] = 0xe3 as u8 968 n512[169] = 0xfe as u8 969 n512[170] = 0x1a as u8 970 n512[171] = 0x32 as u8 971 n512[172] = 0xba as u8 972 n512[173] = 0xbe as u8 973 n512[174] = 0xe8 as u8 974 n512[175] = 0x7c as u8 975 n512[176] = 0x90 as u8 976 n512[177] = 0xf0 as u8 977 n512[178] = 0x38 as u8 978 n512[179] = 0x72 as u8 979 n512[180] = 0x0c as u8 980 n512[181] = 0x8e as u8 981 n512[182] = 0x22 as u8 982 n512[183] = 0x81 as u8 983 n512[184] = 0xdb as u8 984 n512[185] = 0x3d as u8 985 n512[186] = 0xd4 as u8 986 n512[187] = 0x26 as u8 987 n512[188] = 0xa6 as u8 988 n512[189] = 0xd0 as u8 989 n512[190] = 0xa4 as u8 990 n512[191] = 0x4e as u8 991 n512[192] = 0xcb as u8 992 n512[193] = 0x6f as u8 993 n512[194] = 0xbd as u8 994 n512[195] = 0x15 as u8 995 n512[196] = 0x53 as u8 996 n512[197] = 0x46 as u8 997 n512[198] = 0x5d as u8 998 n512[199] = 0x9b as u8 999 n512[200] = 0xd2 as u8 1000 n512[201] = 0x97 as u8 1001 n512[202] = 0x81 as u8 1002 n512[203] = 0x50 as u8 1003 n512[204] = 0xaa as u8 1004 n512[205] = 0x3b as u8 1005 n512[206] = 0x5f as u8 1006 n512[207] = 0x6f as u8 1007 n512[208] = 0x13 as u8 1008 n512[209] = 0x78 as u8 1009 n512[210] = 0xfe as u8 1010 n512[211] = 0xf0 as u8 1011 n512[212] = 0xf2 as u8 1012 n512[213] = 0x4e as u8 1013 n512[214] = 0xc0 as u8 1014 n512[215] = 0x37 as u8 1015 n512[216] = 0xd1 as u8 1016 n512[217] = 0xc9 as u8 1017 n512[218] = 0xc8 as u8 1018 n512[219] = 0x6e as u8 1019 n512[220] = 0xa7 as u8 1020 n512[221] = 0x94 as u8 1021 n512[222] = 0x34 as u8 1022 n512[223] = 0xcd as u8 1023 n512[224] = 0x03 as u8 1024 n512[225] = 0x5f as u8 1025 n512[226] = 0xe6 as u8 1026 n512[227] = 0xe4 as u8 1027 n512[228] = 0xeb as u8 1028 n512[229] = 0xc0 as u8 1029 n512[230] = 0xdb as u8 1030 n512[231] = 0x3f as u8 1031 n512[232] = 0x87 as u8 1032 n512[233] = 0x36 as u8 1033 n512[234] = 0x48 as u8 1034 n512[235] = 0x3b as u8 1035 n512[236] = 0x11 as u8 1036 n512[237] = 0x15 as u8 1037 n512[238] = 0x67 as u8 1038 n512[239] = 0xcc as u8 1039 n512[240] = 0x80 as u8 1040 n512[241] = 0x88 as u8 1041 n512[242] = 0x27 as u8 1042 n512[243] = 0x5c as u8 1043 n512[244] = 0x42 as u8 1044 n512[245] = 0x1c as u8 1045 n512[246] = 0x23 as u8 1046 n512[247] = 0x59 as u8 1047 n512[248] = 0xd4 as u8 1048 n512[249] = 0x52 as u8 1049 n512[250] = 0x5b as u8 1050 n512[251] = 0x52 as u8 1051 n512[252] = 0xb7 as u8 1052 n512[253] = 0x09 as u8 1053 n512[254] = 0x3b as u8 1054 n512[255] = 0x63 as u8 1055 n512[256] = 0x91 as u8 1056 n512[257] = 0x3f as u8 1057 n512[258] = 0x7b as u8 1058 n512[259] = 0x28 as u8 1059 n512[260] = 0xdc as u8 1060 n512[261] = 0x89 as u8 1061 n512[262] = 0xf5 as u8 1062 n512[263] = 0x6c as u8 1063 n512[264] = 0x5f as u8 1064 n512[265] = 0x7e as u8 1065 n512[266] = 0xc3 as u8 1066 n512[267] = 0x82 as u8 1067 n512[268] = 0x8a as u8 1068 n512[269] = 0xfd as u8 1069 n512[270] = 0x05 as u8 1070 n512[271] = 0x7c as u8 1071 n512[272] = 0xc7 as u8 1072 n512[273] = 0x65 as u8 1073 n512[274] = 0x1e as u8 1074 n512[275] = 0xdb as u8 1075 n512[276] = 0xcf as u8 1076 n512[277] = 0x0b as u8 1077 n512[278] = 0x7e as u8 1078 n512[279] = 0xd2 as u8 1079 n512[280] = 0x60 as u8 1080 n512[281] = 0xa9 as u8 1081 n512[282] = 0xb5 as u8 1082 n512[283] = 0x6f as u8 1083 n512[284] = 0x52 as u8 1084 n512[285] = 0xde as u8 1085 n512[286] = 0xf1 as u8 1086 n512[287] = 0x68 as u8 1087 n512[288] = 0xad as u8 1088 n512[289] = 0xca as u8 1089 n512[290] = 0x10 as u8 1090 n512[291] = 0x5d as u8 1091 n512[292] = 0xe2 as u8 1092 n512[293] = 0xd0 as u8 1093 n512[294] = 0xab as u8 1094 n512[295] = 0x8e as u8 1095 n512[296] = 0xe6 as u8 1096 n512[297] = 0x5f as u8 1097 n512[298] = 0x68 as u8 1098 n512[299] = 0xe9 as u8 1099 n512[300] = 0xcc as u8 1100 n512[301] = 0xc4 as u8 1101 n512[302] = 0xbe as u8 1102 n512[303] = 0x1c as u8 1103 n512[304] = 0xd0 as u8 1104 n512[305] = 0xcc as u8 1105 n512[306] = 0xdc as u8 1106 n512[307] = 0xf8 as u8 1107 n512[308] = 0x99 as u8 1108 n512[309] = 0x92 as u8 1109 n512[310] = 0x3b as u8 1110 n512[311] = 0x07 as u8 1111 n512[312] = 0x1e as u8 1112 n512[313] = 0xe1 as u8 1113 n512[314] = 0x48 as u8 1114 n512[315] = 0xb3 as u8 1115 n512[316] = 0x3d as u8 1116 n512[317] = 0x7f as u8 1117 n512[318] = 0xfd as u8 1118 n512[319] = 0x2f as u8 1119 n512[320] = 0x3d as u8 1120 n512[321] = 0x05 as u8 1121 n512[322] = 0xdb as u8 1122 n512[323] = 0xc3 as u8 1123 n512[324] = 0x49 as u8 1124 n512[325] = 0x45 as u8 1125 n512[326] = 0xa2 as u8 1126 n512[327] = 0x94 as u8 1127 n512[328] = 0xe1 as u8 1128 n512[329] = 0x75 as u8 1129 n512[330] = 0x00 as u8 1130 n512[331] = 0x82 as u8 1131 n512[332] = 0xc3 as u8 1132 n512[333] = 0x67 as u8 1133 n512[334] = 0x8e as u8 1134 n512[335] = 0x9b as u8 1135 n512[336] = 0xd5 as u8 1136 n512[337] = 0x2e as u8 1137 n512[338] = 0xfc as u8 1138 n512[339] = 0xc4 as u8 1139 n512[340] = 0x09 as u8 1140 n512[341] = 0xe9 as u8 1141 n512[342] = 0xc4 as u8 1142 n512[343] = 0x9f as u8 1143 n512[344] = 0xa8 as u8 1144 n512[345] = 0x6c as u8 1145 n512[346] = 0xfe as u8 1146 n512[347] = 0x88 as u8 1147 n512[348] = 0x9d as u8 1148 n512[349] = 0x7a as u8 1149 n512[350] = 0xa9 as u8 1150 n512[351] = 0x3a as u8 1151 n512[352] = 0x41 as u8 1152 n512[353] = 0x99 as u8 1153 n512[354] = 0xd7 as u8 1154 n512[355] = 0x13 as u8 1155 n512[356] = 0xdd as u8 1156 n512[357] = 0xac as u8 1157 n512[358] = 0x48 as u8 1158 n512[359] = 0x26 as u8 1159 n512[360] = 0xe4 as u8 1160 n512[361] = 0x6d as u8 1161 n512[362] = 0x78 as u8 1162 n512[363] = 0xdb as u8 1163 n512[364] = 0x7a as u8 1164 n512[365] = 0xd4 as u8 1165 n512[366] = 0x21 as u8 1166 n512[367] = 0xa1 as u8 1167 n512[368] = 0x3b as u8 1168 n512[369] = 0x9a as u8 1169 n512[370] = 0x98 as u8 1170 n512[371] = 0xce as u8 1171 n512[372] = 0x87 as u8 1172 n512[373] = 0x0c as u8 1173 n512[374] = 0x62 as u8 1174 n512[375] = 0x0b as u8 1175 n512[376] = 0x2d as u8 1176 n512[377] = 0x8a as u8 1177 n512[378] = 0xae as u8 1178 n512[379] = 0x9f as u8 1179 n512[380] = 0xbb as u8 1180 n512[381] = 0xe1 as u8 1181 n512[382] = 0x1d as u8 1182 n512[383] = 0xfb as u8 1183 n512[384] = 0x1f as u8 1184 n512[385] = 0xfb as u8 1185 n512[386] = 0xe2 as u8 1186 n512[387] = 0xee as u8 1187 n512[388] = 0xc8 as u8 1188 n512[389] = 0x8b as u8 1189 n512[390] = 0xb3 as u8 1190 n512[391] = 0xda as u8 1191 n512[392] = 0xa0 as u8 1192 n512[393] = 0x51 as u8 1193 n512[394] = 0x3f as u8 1194 n512[395] = 0xa3 as u8 1195 n512[396] = 0xf4 as u8 1196 n512[397] = 0xeb as u8 1197 n512[398] = 0x12 as u8 1198 n512[399] = 0xed as u8 1199 n512[400] = 0xdd as u8 1200 n512[401] = 0x78 as u8 1201 n512[402] = 0x4b as u8 1202 n512[403] = 0x62 as u8 1203 n512[404] = 0x0e as u8 1204 n512[405] = 0xa0 as u8 1205 n512[406] = 0x8d as u8 1206 n512[407] = 0x15 as u8 1207 n512[408] = 0x5b as u8 1208 n512[409] = 0x00 as u8 1209 n512[410] = 0xc2 as u8 1210 n512[411] = 0x82 as u8 1211 n512[412] = 0xfa as u8 1212 n512[413] = 0x95 as u8 1213 n512[414] = 0xb4 as u8 1214 n512[415] = 0xc4 as u8 1215 n512[416] = 0x71 as u8 1216 n512[417] = 0x7f as u8 1217 n512[418] = 0x6a as u8 1218 n512[419] = 0x98 as u8 1219 n512[420] = 0x66 as u8 1220 n512[421] = 0xb6 as u8 1221 n512[422] = 0xb2 as u8 1222 n512[423] = 0x32 as u8 1223 n512[424] = 0x70 as u8 1224 n512[425] = 0xba as u8 1225 n512[426] = 0xbe as u8 1226 n512[427] = 0x89 as u8 1227 n512[428] = 0x74 as u8 1228 n512[429] = 0x04 as u8 1229 n512[430] = 0xde as u8 1230 n512[431] = 0x87 as u8 1231 n512[432] = 0xb3 as u8 1232 n512[433] = 0x62 as u8 1233 n512[434] = 0x8e as u8 1234 n512[435] = 0x13 as u8 1235 n512[436] = 0x66 as u8 1236 n512[437] = 0x11 as u8 1237 n512[438] = 0x6f as u8 1238 n512[439] = 0xd4 as u8 1239 n512[440] = 0x78 as u8 1240 n512[441] = 0x4d as u8 1241 n512[442] = 0x1d as u8 1242 n512[443] = 0x6a as u8 1243 n512[444] = 0xdd as u8 1244 n512[445] = 0xb7 as u8 1245 n512[446] = 0xf9 as u8 1246 n512[447] = 0xd6 as u8 1247 n512[448] = 0x54 as u8 1248 n512[449] = 0xa3 as u8 1249 n512[450] = 0xab as u8 1250 n512[451] = 0x0c as u8 1251 n512[452] = 0x69 as u8 1252 n512[453] = 0x73 as u8 1253 n512[454] = 0x02 as u8 1254 n512[455] = 0x5e as u8 1255 n512[456] = 0xbd as u8 1256 n512[457] = 0xdc as u8 1257 n512[458] = 0x46 as u8 1258 n512[459] = 0x86 as u8 1259 n512[460] = 0x5c as u8 1260 n512[461] = 0x48 as u8 1261 n512[462] = 0x28 as u8 1262 n512[463] = 0xee as u8 1263 n512[464] = 0x60 as u8 1264 n512[465] = 0x84 as u8 1265 n512[466] = 0x5b as u8 1266 n512[467] = 0x0b as u8 1267 n512[468] = 0x2f as u8 1268 n512[469] = 0x86 as u8 1269 n512[470] = 0xba as u8 1270 n512[471] = 0xa9 as u8 1271 n512[472] = 0x9c as u8 1272 n512[473] = 0xa0 as u8 1273 n512[474] = 0x52 as u8 1274 n512[475] = 0xdc as u8 1275 n512[476] = 0x91 as u8 1276 n512[477] = 0x67 as u8 1277 n512[478] = 0xf0 as u8 1278 n512[479] = 0xd1 as u8 1279 n512[480] = 0xd5 as u8 1280 n512[481] = 0x4c as u8 1281 n512[482] = 0xc3 as u8 1282 n512[483] = 0xda as u8 1283 n512[484] = 0x04 as u8 1284 n512[485] = 0x7f as u8 1285 n512[486] = 0x95 as u8 1286 n512[487] = 0xc7 as u8 1287 n512[488] = 0x36 as u8 1288 n512[489] = 0x4c as u8 1289 n512[490] = 0x70 as u8 1290 n512[491] = 0xd3 as u8 1291 n512[492] = 0xc6 as u8 1292 n512[493] = 0xa1 as u8 1293 n512[494] = 0x30 as u8 1294 n512[495] = 0x18 as u8 1295 n512[496] = 0xa3 as u8 1296 n512[497] = 0x4d as u8 1297 n512[498] = 0xc3 as u8 1298 n512[499] = 0x76 as u8 1299 n512[500] = 0x67 as u8 1300 n512[501] = 0x44 as u8 1301 n512[502] = 0xe0 as u8 1302 n512[503] = 0xf8 as u8 1303 n512[504] = 0x59 as u8 1304 n512[505] = 0x30 as u8 1305 n512[506] = 0x62 as u8 1306 n512[507] = 0x40 as u8 1307 n512[508] = 0x91 as u8 1308 n512[509] = 0x4c as u8 1309 n512[510] = 0x98 as u8 1310 n512[511] = 0x85 as u8 1311 let nint: *i64 = u4096_alloc() 1312 u4096_load_be(nint, n512) 1313 let v256: i64 = rsa_pkcs1_v1_5_sha256_k_verify(msg, 17, s256, 384, nint, 65537) 1314 if v256 != NX_RSA_PKCS1_V15_384_OK { return v256 } 1315 let v384: i64 = rsa_pkcs1_v1_5_sha384_k_verify(msg, 17, s384, 384, nint, 65537) 1316 if v384 != NX_RSA_PKCS1_V15_384_OK { return 10 + v384 } 1317 msg[0] = 0x00 as u8 1318 let vb: i64 = rsa_pkcs1_v1_5_sha256_k_verify(msg, 17, s256, 384, nint, 65537) 1319 if vb == NX_RSA_PKCS1_V15_384_OK { return 90 } 1320 return 0 1321}