pub const STATUS_OK: HighsInt = 0;