pub const __PTHREAD_MUTEX_HAVE_PREV: u32 = 1; // 1u32