stare (#1666)
(an instance of
generic exit
made by
Eleni
)