pub type IVPConfig = *mut c_void;