pub type pthread_spinlock_t = c_int;