Re: [Boost-users] Random: How to get a different seed?