Re: 64-bit srandom()?