MINI_GMP_LIMB_TYPE   56 lib/mini-gmp.h #ifndef MINI_GMP_LIMB_TYPE
MINI_GMP_LIMB_TYPE   60 lib/mini-gmp.h typedef unsigned MINI_GMP_LIMB_TYPE mp_limb_t;