pub const HAVE_INT32_T: u32 = 1;