back (#392)

(an instance of generic exit made by Calkins)