pub const HAVE_LIBGMP: u32 = 1;