/default_random_engine.pass.cpp/1.1.1.1/Fri May 17 23:02:33 2013//Tnetbsd-7-1-1-RELEASE
/knuth_b.pass.cpp/1.1.1.1/Fri May 17 23:02:33 2013//Tnetbsd-7-1-1-RELEASE
/minstd_rand.pass.cpp/1.1.1.1/Fri May 17 23:02:33 2013//Tnetbsd-7-1-1-RELEASE
/minstd_rand0.pass.cpp/1.1.1.1/Fri May 17 23:02:33 2013//Tnetbsd-7-1-1-RELEASE
/mt19937.pass.cpp/1.1.1.1/Fri May 17 23:02:33 2013//Tnetbsd-7-1-1-RELEASE
/mt19937_64.pass.cpp/1.1.1.1/Fri May 17 23:02:33 2013//Tnetbsd-7-1-1-RELEASE
/ranlux24.pass.cpp/1.1.1.1/Fri May 17 23:02:33 2013//Tnetbsd-7-1-1-RELEASE
/ranlux24_base.pass.cpp/1.1.1.1/Fri May 17 23:02:33 2013//Tnetbsd-7-1-1-RELEASE
/ranlux48.pass.cpp/1.1.1.1/Fri May 17 23:02:33 2013//Tnetbsd-7-1-1-RELEASE
/ranlux48_base.pass.cpp/1.1.1.1/Fri May 17 23:02:33 2013//Tnetbsd-7-1-1-RELEASE
D
