def step256
import bend-collections@1.0.0.0/src/crypto/hash.bend as Hashimport Base
193def step256(st: Sha256State, xs: List<&2, U32>, +q: Nat) -> Sha256State:
194 match st:
195 case St256{s, buf}:
196 +bytes = List.append(&2, U32, buf, xs)
197 absorb256(List.length(&2, U32, bytes), read256_0(bytes), bytes, q, s)