0951313c1e
This has to leave rust_gen_seed and rng_gen_seed around since they're used to initialise the std::rand RNGs.