/nothing_to_do.pass.cpp/1.1.1.1/Thu Aug 20 09:31:53 2015//Tnetbsd-9
D/rand.dist.bern////
D/rand.dist.norm////
D/rand.dist.pois////
D/rand.dist.samp////
D/rand.dist.uni////