It looks like there's no need to pthread_exit()