__x0              148 maint/gnulib/lib/mini-gmp.c       mp_limb_t __x0, __x1, __x2, __x3;					\
__x0              158 maint/gnulib/lib/mini-gmp.c       __x0 = (mp_limb_t) __ul * __vl;					\
__x0              163 maint/gnulib/lib/mini-gmp.c       __x1 += __x0 >> (GMP_LIMB_BITS / 2);/* this can't give carry */	\
__x0              169 maint/gnulib/lib/mini-gmp.c       (w0) = (__x1 << (GMP_LIMB_BITS / 2)) + (__x0 & GMP_LLIMB_MASK);	\