K 10 svn:author V 5 markm K 8 svn:date V 27 1996-06-25T20:26:40.000000Z K 7 svn:log V 33 Merge with HEAD. Add /dev/random END