volatile int pthread_started = FALSE;
