__GNU_MP_VERSION_PATCHLEVEL   44 maint/gnulib/tests/test-libgmp.c              __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL);
__GNU_MP_VERSION_PATCHLEVEL   48 maint/gnulib/tests/test-libgmp.c         if (__GNU_MP_VERSION_PATCHLEVEL > 0