pub unsafe extern "C" fn Highs_getIntOptionValue( highs: *const c_void, option: *const c_char, value: *mut HighsInt) -> HighsInt