def big0
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/packed/core.bend as Coreimport Base
14def big0(+x: U32) -> U32:
15 ((U32.shrn(x, 2n) .|. U32.shln(x, 30n))
16 .^. (U32.shrn(x, 13n) .|. U32.shln(x, 19n))
17 .^. (U32.shrn(x, 22n) .|. U32.shln(x, 10n)) : U32)