Re: [boost] Re: random: missed seed() method