def unchecked
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/blake2b.bend as Blake2bimport Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/blake/blake2b/types.bend as T
292def unchecked(a: Array<U32>, +length: Nat) -> T.Chain:
293 +n = Nat.div(Nat.sub(length,1n),128n)
294 blocks(n,0,Nat.sub(length,Nat.mul(n,128n)),T.C{0,0,0,0},(a,initial()))