pub const kHighsOptionTypeString: HighsInt = 3;