Constant XSTATE_IPT 

pub const XSTATE_IPT: u32 = 8u32;