K 10
svn:author
V 2
dd
K 8
svn:date
V 27
2001-06-14T04:59:13.000000Z
K 7
svn:log
V 116
Add an XXX comment about a small inefficiency.  There's no sense in
fixing it, but I think it should be documented.

END