def step3
import bend-collections@1.0.0.0/src/crypto/hash.bend as Hashimport Base
494def step3(st: Sha3State, xs: List<&2, U32>, +q: Nat) -> Sha3State:
495 match st:
496 case St3{s, buf}:
497 +bytes = List.append(&2, U32, buf, xs)
498 absorb3(List.length(&2, U32, bytes), read3_0(bytes), bytes, q, s)