Template:cpp/algorithm/dsc random shuffle