K 10
svn:author
V 3
phk
K 8
svn:date
V 27
1998-04-06T09:30:42.000000Z
K 7
svn:log
V 64
Make read_random() take a (void *) argument instead of (char *)

END