pub const __PTHREAD_RWLOCK_INT_FLAGS_SHARED: u32 = 1;