def big1
import bend-collections-laws-crypto@1.0.0.0/src/crypto/sha/core.bend as Coreimport Base
22def big1(+x: U32) -> U32:
23 ((U32.shrn(x, 6n) .|. U32.shln(x, 26n))
24 .^. (U32.shrn(x, 11n) .|. U32.shln(x, 21n))
25 .^. (U32.shrn(x, 25n) .|. U32.shln(x, 7n)) : U32)