pub const ARM_REG_ITSTATE: u32 = 9; // 9u32