do_exit in proc.c done