K 10
svn:author
V 3
des
K 8
svn:date
V 27
2001-12-09T00:35:30.000000Z
K 7
svn:log
V 56
Fix various bugs in the debugging code and reenable it.

END