Part of `sha256RoundConstants`, lifted out to keep it inside the §28.3 size and
nesting limits; the parameters are the locals it still needs.
167def sha256RoundConstantsPart2 =
168 (constructor
169 SHA256Schedule
170 SHA256ScheduleNext
171 (constructor ModelWord32 ModelWord32Value (byte 200) (byte 39) (byte 3) (byte 176))
172 (constructor
173 SHA256Schedule
174 SHA256ScheduleNext
175 (constructor ModelWord32 ModelWord32Value (byte 199) (byte 127) (byte 89) (byte 191))
176 (constructor
177 SHA256Schedule
178 SHA256ScheduleNext
179 (constructor ModelWord32 ModelWord32Value (byte 243) (byte 11) (byte 224) (byte 198))
180 (constructor
181 SHA256Schedule
182 SHA256ScheduleNext
183 (constructor ModelWord32 ModelWord32Value (byte 71) (byte 145) (byte 167) (byte 213))
184 (constructor
185 SHA256Schedule
186 SHA256ScheduleNext
187 (constructor ModelWord32 ModelWord32Value (byte 81) (byte 99) (byte 202) (byte 6))
188 (constructor
189 SHA256Schedule
190 SHA256ScheduleNext
191 (constructor ModelWord32 ModelWord32Value (byte 103) (byte 41) (byte 41) (byte 20))
192 (constructor
193 SHA256Schedule
194 SHA256ScheduleNext
195 (constructor ModelWord32 ModelWord32Value (byte 133) (byte 10) (byte 183) (byte 39))
196 (constructor
197 SHA256Schedule
198 SHA256ScheduleNext
199 (constructor ModelWord32 ModelWord32Value (byte 56) (byte 33) (byte 27) (byte 46))
200 (constructor
201 SHA256Schedule
202 SHA256ScheduleNext
203 (constructor
204 ModelWord32
205 ModelWord32Value
206 (byte 252)
207 (byte 109)
208 (byte 44)
209 (byte 77))
210 (constructor
211 SHA256Schedule
212 SHA256ScheduleNext
213 (constructor
214 ModelWord32
215 ModelWord32Value
216 (byte 19)
217 (byte 13)
218 (byte 56)
219 (byte 83))
220 (constructor
221 SHA256Schedule
222 SHA256ScheduleNext
223 (constructor
224 ModelWord32
225 ModelWord32Value
226 (byte 84)
227 (byte 115)
228 (byte 10)
229 (byte 101))
230 (constructor
231 SHA256Schedule
232 SHA256ScheduleNext
233 (constructor
234 ModelWord32
235 ModelWord32Value
236 (byte 187)
237 (byte 10)
238 (byte 106)
239 (byte 118))
240 (constructor
241 SHA256Schedule
242 SHA256ScheduleNext
243 (constructor
244 ModelWord32
245 ModelWord32Value
246 (byte 46)
247 (byte 201)
248 (byte 194)
249 (byte 129))
250 (constructor
251 SHA256Schedule
252 SHA256ScheduleNext
253 (constructor
254 ModelWord32
255 ModelWord32Value
256 (byte 133)
257 (byte 44)
258 (byte 114)
259 (byte 146))
260 (constructor
261 SHA256Schedule
262 SHA256ScheduleNext
263 (constructor
264 ModelWord32
265 ModelWord32Value
266 (byte 161)
267 (byte 232)
268 (byte 191)
269 (byte 162))
270 (constructor
271 SHA256Schedule
272 SHA256ScheduleNext
273 (constructor
274 ModelWord32
275 ModelWord32Value
276 (byte 75)
277 (byte 102)
278 (byte 26)
279 (byte 168))
280 (constructor
281 SHA256Schedule
282 SHA256ScheduleNext
283 (constructor
284 ModelWord32
285 ModelWord32Value
286 (byte 112)
287 (byte 139)
288 (byte 75)
289 (byte 194))
290 (constructor
291 SHA256Schedule
292 SHA256ScheduleNext
293 (constructor
294 ModelWord32
295 ModelWord32Value
296 (byte 163)
297 (byte 81)
298 (byte 108)
299 (byte 199))
300 (constructor
301 SHA256Schedule
302 SHA256ScheduleNext
303 (constructor
304 ModelWord32
305 ModelWord32Value
306 (byte 25)
307 (byte 232)
308 (byte 146)
309 (byte 209))
310 sha256RoundConstantsPart1)))))))))))))))))))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.