K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2018-01-26T17:40:13.055478Z
K 7
svn:log
V 56
abort() should be marked __dead2 since it won't return.

END