[Boost-users] How do I use random_device?