K 10
svn:author
V 3
jhb
K 8
svn:date
V 27
2006-03-20T19:39:08.000000Z
K 7
svn:log
V 75
Drop some unneeded casts since we program the kernel in C rather than C++.

END