src/core/rng-stream.h
changeset 4654 2eaebe77d66b
parent 4234 7ec503ed040d