Constant _MC_HASFPXSTATE 

pub const _MC_HASFPXSTATE: u32 = 0x4;