K 10
svn:author
V 2
ed
K 8
svn:date
V 27
2010-01-02T10:14:35.707319Z
K 7
svn:log
V 181
Mute some warnings on uninitialized variables.

The code does the right thing, but the compiler is unable to figure it
out. All paths that use that variable use the same invariant.

END