latest working copy, working on do_exit()