gmp_sub_ddmmss    200 maint/gnulib/lib/mini-gmp.c     gmp_sub_ddmmss ((r1), (r0), (r1), (n0), (d1), (d0));		\
gmp_sub_ddmmss    202 maint/gnulib/lib/mini-gmp.c     gmp_sub_ddmmss ((r1), (r0), (r1), (r0), _t1, _t0);			\
gmp_sub_ddmmss    214 maint/gnulib/lib/mini-gmp.c 	    gmp_sub_ddmmss ((r1), (r0), (r1), (r0), (d1), (d0));	\