FORKEE_PTHREAD
FORKEE_PTHREAD(pthread_create(&t, NULL,
FORKEE_PTHREAD(pthread_create(&t, NULL, resume_thread, NULL));
FORKEE_PTHREAD(pthread_setspecific(thread_concurrent_key,
FORKEE_PTHREAD(pthread_barrier_init(
FORKEE_PTHREAD(pthread_key_create(&thread_concurrent_key,
FORKEE_PTHREAD(pthread_create(&sig_threads[i], NULL,
FORKEE_PTHREAD(pthread_create(&bp_threads[i], NULL,
FORKEE_PTHREAD(pthread_create(&wp_threads[i], NULL,
FORKEE_PTHREAD(pthread_join(wp_threads[i], NULL));
FORKEE_PTHREAD(pthread_join(bp_threads[i], NULL));
FORKEE_PTHREAD(pthread_join(sig_threads[i], NULL));
FORKEE_PTHREAD(pthread_key_delete(thread_concurrent_key));
FORKEE_PTHREAD(pthread_barrier_destroy(