pub type __guest_handle_int = *mut c_int;