K 10
svn:author
V 6
tuexen
K 8
svn:date
V 27
2016-04-18T09:29:14.412109Z
K 7
svn:log
V 36
Put panic() calls under INVARIANTS.

END