K 10 svn:author V 3 phk K 8 svn:date V 27 2004-10-27T06:47:00.000000Z K 7 svn:log V 135 Eliminate unnecessary KASSERT. Eliminate a printf which would never tell us anything anyway because the KASSERT would have triggered. END