Re: [Boost-users] [random] saving state of generator