[Boost-users] seeding a boost::random number generator...?