/random_shuffle.pass.cpp/1.1.1.1/Fri May 17 23:02:32 2013//Tnetbsd-9
/random_shuffle_rand.pass.cpp/1.1.1.1/Fri May 17 23:02:32 2013//Tnetbsd-9
/random_shuffle_urng.pass.cpp/1.1.1.1/Fri May 17 23:02:32 2013//Tnetbsd-9
D