Constant __PTHREAD_ONCE_SIZE__ 

pub const __PTHREAD_ONCE_SIZE__: u32 = 8;