gmp_lucas_step_k_2k 3458 maint/gnulib/lib/mini-gmp.c       gmp_lucas_step_k_2k (V, Qk, n);
gmp_lucas_step_k_2k 3540 maint/gnulib/lib/mini-gmp.c       gmp_lucas_step_k_2k (V, Qk, n);