pub unsafe extern "C" fn Highs_writeSolutionPretty(
    highs: *const c_void,
    filename: *const c_char
) -> HighsInt