gmp_lucas_step_k_2k 3466 lib/mini-gmp.c       gmp_lucas_step_k_2k (V, Qk, n);
gmp_lucas_step_k_2k 3548 lib/mini-gmp.c       gmp_lucas_step_k_2k (V, Qk, n);