def rng_step2
import bend-prot@0.1.0.0/rng.bend as Rngimport Base
10def rng_step2(+z: U32) -> U32:
11 U32.mul(U32.xor(z, U32.shrn(z, 16n)), 569420461)
import bend-prot@0.1.0.0/rng.bend as Rngimport Base
10def rng_step2(+z: U32) -> U32:
11 U32.mul(U32.xor(z, U32.shrn(z, 16n)), 569420461)