A better random seed can be obtained by combining getpid(), getppid(),
high-resolution timer, and ASLR.