K 10 svn:author V 5 markm K 8 svn:date V 27 1996-06-25T20:19:56.000000Z K 7 svn:log V 39 Merge with HEAD - bring in /dev/random END