pub type IVPManager = *mut c_void;