[@$3.1415rin]

well, but time() is seconds since 1900 or similar, so starting in the same second of a minute should make much difference ...

another possibility would be initializing with the lower 32 bits of the 64 bit counter in newer x86 cpu's running at cpu speed