correct init value of pthread_spin_init