up (#1678)
(an instance of
generic exit
made by
Trismegistos
)