void threads_leave();