using a MT PRNG