elevator (#1532)
(an instance of
generic exit
made by
Gaijin
)