Re: [Boost-users] [random]: several issues