[Boost-users] Problem with boost random library.