../../../common/rng-tools