src/tools/test/devrandom
