K 10
svn:author
V 4
ache
K 8
svn:date
V 27
1997-10-15T22:49:19.000000Z
K 7
svn:log
V 160
srandom(time()) is too weak even for joke, use srandom(time() ^ getpid())
at least. Note that srandomdev can't be used here since gawk preserve old
seed value.

END