typedef int lck_mtx_t;
typedef int lck_rw_t;
typedef int lck_spin_t;