pub type SCIP_BendersSolveLoop = c_uint;