pub static __gmp_bits_per_limb: c_int