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