Rewrite arena bounds leave handler