K 10 svn:author V 3 alc K 8 svn:date V 27 2006-01-31T19:06:51.000000Z K 7 svn:log V 43 Change #if defined(DIAGNOSTIC) to KASSERT. END