def sum0

import bend-collections-laws-crypto@1.0.0.0/spec/crypto/sha.bend as Sha

import Base

23def sum0(+x: U32) -> U32:
24  U32.xor(U32.xor(rotate(x, 2n), rotate(x, 13n)), rotate(x, 22n))

Uses (3)