def dxsm_with
import bend-collections-laws-crypto@1.0.0.0/src/math/random/pcg.bend as Pcgimport Base
import bend-collections-laws-crypto@1.0.0.0/src/math/u64.bend as W
import bend-collections-laws-crypto@1.0.0.0/src/math/w64.bend as X
72# the DXSM output of a state hi:lo with the multiplier cm
73def dxsm_with(+cm: W.U64, +hi: W.U64, +lo: W.U64) -> W.U64:
74 dxsm2(X.mul(xor64(hi, X.shr(hi, 32n)), cm), lo)