Constant CPX_BENDERS_MASTERVALUE 

pub const CPX_BENDERS_MASTERVALUE: u32 = 0;