pthread_exit in L4re

Hello, I want a thread to exit after it finishes its job. The function pthread_exit seems not working. I still can see all threads I created through kernel debugger. Any idea? Best, Chen