Constant KEY_NAV4_RADIO_WHOLE_INC 

pub const KEY_NAV4_RADIO_WHOLE_INC: u32 = 67457;