Constant __GMP_MP_SIZE_T_INT 

pub const __GMP_MP_SIZE_T_INT: u32 = 0;