K 10
svn:author
V 8
jchandra
K 8
svn:date
V 27
2010-09-10T07:06:06.191870Z
K 7
svn:log
V 50
Compilation fix - when INVARIANTS are turned off.

END