Re: [Boost-users] How do I use random_device?