carnival (#1217)
(an instance of
generic exit
made by
Calkins
)