RNG: make rng_infos a constant global public variable