Constant MAGMA_FORMAT_MODIFIER_ARM_TE_BIT 

pub const MAGMA_FORMAT_MODIFIER_ARM_TE_BIT: u32 = 4096;