define STATEFUL_RNG 20160819