def sha256
import bend-collections@1.0.0.0/src/crypto/sha/packed/buffer.bend as Bufferimport Base
import bend-collections@1.0.0.0/src/crypto/sha/packed/packed.bend as P
16def sha256(input: Array<U32>, length: Nat) -> Maybe<&1,Array<U32>>:
17 result(P.hash(input,length))