Constant __PTHREAD_RWLOCKATTR_SIZE__ 

pub const __PTHREAD_RWLOCKATTR_SIZE__: u32 = 16;