Constant CPX_MAX_SCALED_RED_COST 

pub const CPX_MAX_SCALED_RED_COST: u32 = 30;