pub type _bindgen_ty_25 = u32;