#include <algorithm>
void shuffle(int* a, int size)
{
std::random_shuffle(a, a + size);
}

Regards,

Paul McKenzie