pub const kHighsOptionTypeInt: HighsInt = 1;