def rng_step4
import bend-prot@0.1.0.0/rng.bend as Rngimport Base
16def rng_step4(+z: U32) -> U32:
17 U32.xor(z, U32.shrn(z, 15n))
import bend-prot@0.1.0.0/rng.bend as Rngimport Base
16def rng_step4(+z: U32) -> U32:
17 U32.xor(z, U32.shrn(z, 15n))