pub type u_int32_t = u32;