template< typename Iterator, typename RandomNumberGenerator >
void random_shuffle(Iterator begin, Iterator end, RandomNumberGenerator& rng)
{
template< typename Iterator, typename RandomNumberGenerator >
void random_shuffle(Iterator begin, Iterator end, RandomNumberGenerator& rng)
{