[Boost-users] [random] Saving the state of the random number generator