K 10
svn:author
V 2
jh
K 8
svn:date
V 27
2010-07-09T10:57:55.202187Z
K 7
svn:log
V 49
Remove redundant high >= 0.

Reported by:	rstone

END