K 10 svn:author V 3 arr K 8 svn:date V 27 2002-05-21T18:52:24.000000Z K 7 svn:log V 162 - Change the newly turned INVARIANTS #ifdef blocks (they were changed from DIAGNOSTIC yesterday) into KASSERT()'s as these help to increase code readability. END