Constant EF_AVR_ARCH_AVR51 

pub const EF_AVR_ARCH_AVR51: u32 = 51;