Part of `sha256RoundConstants`, lifted out to keep it inside the §28.3 size and
nesting limits; the parameters are the locals it still needs.
8def sha256RoundConstantsPart1 =
9 (constructor
10 SHA256Schedule
11 SHA256ScheduleNext
12 (constructor ModelWord32 ModelWord32Value (byte 36) (byte 6) (byte 153) (byte 214))
13 (constructor
14 SHA256Schedule
15 SHA256ScheduleNext
16 (constructor ModelWord32 ModelWord32Value (byte 133) (byte 53) (byte 14) (byte 244))
17 (constructor
18 SHA256Schedule
19 SHA256ScheduleNext
20 (constructor ModelWord32 ModelWord32Value (byte 112) (byte 160) (byte 106) (byte 16))
21 (constructor
22 SHA256Schedule
23 SHA256ScheduleNext
24 (constructor ModelWord32 ModelWord32Value (byte 22) (byte 193) (byte 164) (byte 25))
25 (constructor
26 SHA256Schedule
27 SHA256ScheduleNext
28 (constructor ModelWord32 ModelWord32Value (byte 8) (byte 108) (byte 55) (byte 30))
29 (constructor
30 SHA256Schedule
31 SHA256ScheduleNext
32 (constructor ModelWord32 ModelWord32Value (byte 76) (byte 119) (byte 72) (byte 39))
33 (constructor
34 SHA256Schedule
35 SHA256ScheduleNext
36 (constructor
37 ModelWord32
38 ModelWord32Value
39 (byte 181)
40 (byte 188)
41 (byte 176)
42 (byte 52))
43 (constructor
44 SHA256Schedule
45 SHA256ScheduleNext
46 (constructor
47 ModelWord32
48 ModelWord32Value
49 (byte 179)
50 (byte 12)
51 (byte 28)
52 (byte 57))
53 (constructor
54 SHA256Schedule
55 SHA256ScheduleNext
56 (constructor
57 ModelWord32
58 ModelWord32Value
59 (byte 74)
60 (byte 170)
61 (byte 216)
62 (byte 78))
63 (constructor
64 SHA256Schedule
65 SHA256ScheduleNext
66 (constructor
67 ModelWord32
68 ModelWord32Value
69 (byte 79)
70 (byte 202)
71 (byte 156)
72 (byte 91))
73 (constructor
74 SHA256Schedule
75 SHA256ScheduleNext
76 (constructor
77 ModelWord32
78 ModelWord32Value
79 (byte 243)
80 (byte 111)
81 (byte 46)
82 (byte 104))
83 (constructor
84 SHA256Schedule
85 SHA256ScheduleNext
86 (constructor
87 ModelWord32
88 ModelWord32Value
89 (byte 238)
90 (byte 130)
91 (byte 143)
92 (byte 116))
93 (constructor
94 SHA256Schedule
95 SHA256ScheduleNext
96 (constructor
97 ModelWord32
98 ModelWord32Value
99 (byte 111)
100 (byte 99)
101 (byte 165)
102 (byte 120))
103 (constructor
104 SHA256Schedule
105 SHA256ScheduleNext
106 (constructor
107 ModelWord32
108 ModelWord32Value
109 (byte 20)
110 (byte 120)
111 (byte 200)
112 (byte 132))
113 (constructor
114 SHA256Schedule
115 SHA256ScheduleNext
116 (constructor
117 ModelWord32
118 ModelWord32Value
119 (byte 8)
120 (byte 2)
121 (byte 199)
122 (byte 140))
123 (constructor
124 SHA256Schedule
125 SHA256ScheduleNext
126 (constructor
127 ModelWord32
128 ModelWord32Value
129 (byte 250)
130 (byte 255)
131 (byte 190)
132 (byte 144))
133 (constructor
134 SHA256Schedule
135 SHA256ScheduleNext
136 (constructor
137 ModelWord32
138 ModelWord32Value
139 (byte 235)
140 (byte 108)
141 (byte 80)
142 (byte 164))
143 (constructor
144 SHA256Schedule
145 SHA256ScheduleNext
146 (constructor
147 ModelWord32
148 ModelWord32Value
149 (byte 247)
150 (byte 163)
151 (byte 249)
152 (byte 190))
153 (constructor
154 SHA256Schedule
155 SHA256ScheduleNext
156 (constructor
157 ModelWord32
158 ModelWord32Value
159 (byte 242)
160 (byte 120)
161 (byte 113)
162 (byte 198))
163 (constructor SHA256Schedule SHA256ScheduleEnd))))))))))))))))))))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.