Constant __PTHREAD_ATTR_SIZE__ 

pub const __PTHREAD_ATTR_SIZE__: u32 = 56;