/libcxx/test/libcxx-03/numerics/rand/rand.device/
../
has-no-random-device.verify.cpp