Constant __PTHREAD_SIZE__

Source
pub const __PTHREAD_SIZE__: u32 = 8176;