escape (#1720)
(an instance of
generic exit
made by
Wizard
)