Constant MAGMA_FORMAT_MODIFIER_ARM_TE_BIT 

pub const MAGMA_FORMAT_MODIFIER_ARM_TE_BIT: magma_format_modifier_t = 4096;