Add do_exit