pub type sys_thread_core_lock_t = c_uint;