get_random_limb   511 src/bignum.c         mp_limb_t r = get_random_limb ();
get_random_limb   557 src/bignum.c   	  mp_limb_t ri = get_random_limb ();