Constant XSTATE_IPT

pub const XSTATE_IPT: u32 = 8u32;