pub type cpthread_spinlock_t = c_int;