pub type SCIP_BendersSubStatus = c_uint;