__x3              148 maint/gnulib/lib/mini-gmp.c       mp_limb_t __x0, __x1, __x2, __x3;					\
__x3              161 maint/gnulib/lib/mini-gmp.c       __x3 = (mp_limb_t) __uh * __vh;					\
__x3              166 maint/gnulib/lib/mini-gmp.c 	__x3 += GMP_HLIMB_BIT;	/* yes, add it in the proper pos. */	\
__x3              168 maint/gnulib/lib/mini-gmp.c       (w1) = __x3 + (__x1 >> (GMP_LIMB_BITS / 2));			\