Part of `sha256RoundConstants`, lifted out to keep it inside the §28.3 size and
nesting limits; the parameters are the locals it still needs.
314def sha256RoundConstantsPart3 =
315 (constructor
316 SHA256Schedule
317 SHA256ScheduleNext
318 (constructor ModelWord32 ModelWord32Value (byte 254) (byte 177) (byte 222) (byte 128))
319 (constructor
320 SHA256Schedule
321 SHA256ScheduleNext
322 (constructor ModelWord32 ModelWord32Value (byte 167) (byte 6) (byte 220) (byte 155))
323 (constructor
324 SHA256Schedule
325 SHA256ScheduleNext
326 (constructor ModelWord32 ModelWord32Value (byte 116) (byte 241) (byte 155) (byte 193))
327 (constructor
328 SHA256Schedule
329 SHA256ScheduleNext
330 (constructor ModelWord32 ModelWord32Value (byte 193) (byte 105) (byte 155) (byte 228))
331 (constructor
332 SHA256Schedule
333 SHA256ScheduleNext
334 (constructor ModelWord32 ModelWord32Value (byte 134) (byte 71) (byte 190) (byte 239))
335 (constructor
336 SHA256Schedule
337 SHA256ScheduleNext
338 (constructor ModelWord32 ModelWord32Value (byte 198) (byte 157) (byte 193) (byte 15))
339 (constructor
340 SHA256Schedule
341 SHA256ScheduleNext
342 (constructor ModelWord32 ModelWord32Value (byte 204) (byte 161) (byte 12) (byte 36))
343 (constructor
344 SHA256Schedule
345 SHA256ScheduleNext
346 (constructor
347 ModelWord32
348 ModelWord32Value
349 (byte 111)
350 (byte 44)
351 (byte 233)
352 (byte 45))
353 (constructor
354 SHA256Schedule
355 SHA256ScheduleNext
356 (constructor
357 ModelWord32
358 ModelWord32Value
359 (byte 170)
360 (byte 132)
361 (byte 116)
362 (byte 74))
363 (constructor
364 SHA256Schedule
365 SHA256ScheduleNext
366 (constructor
367 ModelWord32
368 ModelWord32Value
369 (byte 220)
370 (byte 169)
371 (byte 176)
372 (byte 92))
373 (constructor
374 SHA256Schedule
375 SHA256ScheduleNext
376 (constructor
377 ModelWord32
378 ModelWord32Value
379 (byte 218)
380 (byte 136)
381 (byte 249)
382 (byte 118))
383 (constructor
384 SHA256Schedule
385 SHA256ScheduleNext
386 (constructor
387 ModelWord32
388 ModelWord32Value
389 (byte 82)
390 (byte 81)
391 (byte 62)
392 (byte 152))
393 (constructor
394 SHA256Schedule
395 SHA256ScheduleNext
396 (constructor
397 ModelWord32
398 ModelWord32Value
399 (byte 109)
400 (byte 198)
401 (byte 49)
402 (byte 168))
403 sha256RoundConstantsPart2)))))))))))))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.