Re: [boost] [random] [Martin Wille] random_test