STATEFUL_RNG -> 20160819 stateful_rng.h