[Boost-users] random library: initializaing a generator.