K 10
svn:author
V 3
phk
K 8
svn:date
V 27
2005-02-17T10:28:58.000000Z
K 7
svn:log
V 30
Convert KASSERTS to VNASSERTS

END