gmp_lucas_step_k_2k 3459 lib/mini-gmp.c       gmp_lucas_step_k_2k (V, Qk, n);
gmp_lucas_step_k_2k 3541 lib/mini-gmp.c       gmp_lucas_step_k_2k (V, Qk, n);