pub const HighsStatuskOk: HighsInt = 0;