pub const __GMP_MP_SIZE_T_INT: u32 = 0;