booth (#2323)
(an instance of
generic exit
made by
Eclipse
)