Falltuer (#1236)
(an instance of
generic exit
made by
Goliath
)