Constant KEY_RADIO_SELECTED_DME_IDENT_SET

pub const KEY_RADIO_SELECTED_DME_IDENT_SET: u32 = 66667;