K 10 svn:author V 3 phk K 8 svn:date V 27 2002-12-13T22:04:45.000000Z K 7 svn:log V 40 Add a couple of KASSERTS, just in case. END