def mul_hi
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
30# 2549297995355413924, 4865540595714422341
31def mul_hi() -> W.U64:
32 W.U64{533093796, 593554693}