Constant EF_AVR_ARCH_AVR31 

pub const EF_AVR_ARCH_AVR31: u32 = 31;