/random_shuffle.pass.cpp/1.1.1.1/Thu Aug 20 09:31:52 2015//Tnetbsd-9
/random_shuffle_rand.pass.cpp/1.1.1.1/Thu Aug 20 09:31:52 2015//Tnetbsd-9
/random_shuffle_urng.pass.cpp/1.1.1.1/Thu Aug 20 09:31:52 2015//Tnetbsd-9
D
