def read256_2
import bend-collections-laws-crypto@1.0.0.0/src/crypto/hash.bend as Hashimport Base
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/core.bend as C256
159def read256_2(bytes: List<&2, U32>, w0: U32, w1: U32) -> Read256:
160 match bytes:
161 case b0 <> b1 <> b2 <> b3 <> rest:
162 read256_3(rest, w0, w1, C256.pack(b0, b1, b2, b3))
163 case _:
164 Short256{}