pub const kHighsStatusOk: HighsInt = 0;