class RandomEngine19937