Constant FORMAT_MODIFIER_ARM_TE_BIT 

pub const FORMAT_MODIFIER_ARM_TE_BIT: u64 = 4096;