pub unsafe extern "C" fn __gmpn_divexact_by3c( arg1: mp_ptr, arg2: mp_srcptr, arg3: mp_size_t, arg4: mp_limb_t, ) -> mp_limb_t