pthread_create() seems to be working but I can't explain why...