__GNU_MP_VERSION_MINOR 44 maint/gnulib/tests/test-libgmp.c __GNU_MP_VERSION_MINOR, __GNU_MP_VERSION_PATCHLEVEL); __GNU_MP_VERSION_MINOR 50 maint/gnulib/tests/test-libgmp.c __GNU_MP_VERSION_MINOR),