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