Re: pthread_exit in L4re