u (#2673)
(an instance of
generic exit
made by
Arc
)