make RNG configurable