srandom/random for PRNG should be "good enough"