void pthread_detach(pthread_tid tid);