pub const kHighsCallbackSimplexInterrupt: HighsInt = 1;