405def sha256RoundConstants =
406 (constructor
407 SHA256Schedule
408 SHA256ScheduleNext
409 (constructor ModelWord32 ModelWord32Value (byte 152) (byte 47) (byte 138) (byte 66))
410 (constructor
411 SHA256Schedule
412 SHA256ScheduleNext
413 (constructor ModelWord32 ModelWord32Value (byte 145) (byte 68) (byte 55) (byte 113))
414 (constructor
415 SHA256Schedule
416 SHA256ScheduleNext
417 (constructor ModelWord32 ModelWord32Value (byte 207) (byte 251) (byte 192) (byte 181))
418 (constructor
419 SHA256Schedule
420 SHA256ScheduleNext
421 (constructor ModelWord32 ModelWord32Value (byte 165) (byte 219) (byte 181) (byte 233))
422 (constructor
423 SHA256Schedule
424 SHA256ScheduleNext
425 (constructor ModelWord32 ModelWord32Value (byte 91) (byte 194) (byte 86) (byte 57))
426 (constructor
427 SHA256Schedule
428 SHA256ScheduleNext
429 (constructor ModelWord32 ModelWord32Value (byte 241) (byte 17) (byte 241) (byte 89))
430 (constructor
431 SHA256Schedule
432 SHA256ScheduleNext
433 (constructor
434 ModelWord32
435 ModelWord32Value
436 (byte 164)
437 (byte 130)
438 (byte 63)
439 (byte 146))
440 (constructor
441 SHA256Schedule
442 SHA256ScheduleNext
443 (constructor
444 ModelWord32
445 ModelWord32Value
446 (byte 213)
447 (byte 94)
448 (byte 28)
449 (byte 171))
450 (constructor
451 SHA256Schedule
452 SHA256ScheduleNext
453 (constructor
454 ModelWord32
455 ModelWord32Value
456 (byte 152)
457 (byte 170)
458 (byte 7)
459 (byte 216))
460 (constructor
461 SHA256Schedule
462 SHA256ScheduleNext
463 (constructor
464 ModelWord32
465 ModelWord32Value
466 (byte 1)
467 (byte 91)
468 (byte 131)
469 (byte 18))
470 (constructor
471 SHA256Schedule
472 SHA256ScheduleNext
473 (constructor
474 ModelWord32
475 ModelWord32Value
476 (byte 190)
477 (byte 133)
478 (byte 49)
479 (byte 36))
480 (constructor
481 SHA256Schedule
482 SHA256ScheduleNext
483 (constructor
484 ModelWord32
485 ModelWord32Value
486 (byte 195)
487 (byte 125)
488 (byte 12)
489 (byte 85))
490 (constructor
491 SHA256Schedule
492 SHA256ScheduleNext
493 (constructor
494 ModelWord32
495 ModelWord32Value
496 (byte 116)
497 (byte 93)
498 (byte 190)
499 (byte 114))
500 sha256RoundConstantsPart3)))))))))))))The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.