K 10
svn:author
V 3
mav
K 8
svn:date
V 27
2014-11-19T13:04:25.370602Z
K 7
svn:log
V 49
Fix build without INVARIANTS, broken by r274675.

END