INT32_MAX_LT_INTMAX_MAX  435 maint/gnulib/lib/inttypes.in.h # if @INT32_MAX_LT_INTMAX_MAX@
INT32_MAX_LT_INTMAX_MAX  442 maint/gnulib/lib/inttypes.in.h # if @INT32_MAX_LT_INTMAX_MAX@
INT32_MAX_LT_INTMAX_MAX  838 maint/gnulib/lib/inttypes.in.h # if @INT32_MAX_LT_INTMAX_MAX@
INT32_MAX_LT_INTMAX_MAX  845 maint/gnulib/lib/inttypes.in.h # if @INT32_MAX_LT_INTMAX_MAX@