Constant KEY_RADIO_VOR3_IDENT_SET 

pub const KEY_RADIO_VOR3_IDENT_SET: u32 = 67510;