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