__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