pub type mp_int = *mut mpz_t;