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