back (#368)

(an instance of generic exit made by Calkins)