K 10
svn:author
V 3
imp
K 8
svn:date
V 27
2018-01-26T21:51:09.016813Z
K 7
svn:log
V 86
BERI isn't BTX, so we don't have to provide exit(). Just remove it
since it's unused.

END