pub const __GNU_MP_RELEASE: u32 = 60200;