Better RNG initialization On platforms where it's available, use gettimeofday() and mix in the ~20 bits that that gives to the high (slowly-changing) bits of the seconds since the Epoch.