pub const HIGHS_VERSION_PATCH: u32 = 0;