pub type IConstraintConflict = *mut c_void;