pub const __GMP_LIBGMP_DLL: u32 = 0;