down (#1537)

(an instance of generic exit made by Gaijin)