Use C++ randomness.