Continued isentanglement, individual names for do_exit