pub type u_int32_t = c_uint;