pub type pthread_spinlock_t = i32;