/libcxx/test/std/numerics/rand/rand.synopsis/