Constant kHighsCallbackDataOutCutpoolUpperName 

pub const kHighsCallbackDataOutCutpoolUpperName: &[u8; 14] = b"cutpool_upper\0";