jesse@jesse-ubuntu:~$ objdump -tT /usr/lib/x86_64-linux-gnu/libgmp.so.10 | grep limbs
000000000001d080 g    DF .text	0000000000000015  Base        __gmpz_limbs_write
000000000001d010 g    DF .text	000000000000003c  Base        __gmpz_limbs_finish
0000000000018bb0 g    DF .text	0000000000000253  Base        __gmpz_prodlimbs
000000000001d070 g    DF .text	0000000000000005  Base        __gmpz_limbs_read
000000000001d050 g    DF .text	0000000000000015  Base        __gmpz_limbs_modify
jesse@jesse-ubuntu:~$ clear