pub const __GMP_INLINE_PROTOTYPES: u32 = 1;