K 10
svn:author
V 6
marcel
K 8
svn:date
V 27
2009-11-24T01:35:21.402096Z
K 7
svn:log
V 130
Improve upon revision 196196 by removing the newly added comment
in the wrong place and instead add a KASSERT in the right place.

END