pub type cpthread_spinlock_t = i32;