pub type kern_return_t = i32;