[Boost-users] Retrieve state of random number generator?