pub unsafe extern "C" fn verify_solution( lp: *mut lprec, reinvert: c_uchar, info: *mut c_char, ) -> c_int