K 10 svn:author V 5 markm K 8 svn:date V 27 1996-03-03T11:39:41.000000Z K 7 svn:log V 44 Bring the COAST/MIT random number fixes in. END