pub const HAVE_PTHREAD: u32 = 1;