<bits/random.h>
template<typename _UniformRandomNumberGenerator> void __generate( result_type* __f, result_type* __t, _UniformRandomNumberGenerator& __urng);