pub const kHighsStatusError: HighsInt = -1;