Constant KEY_NAV4_RADIO_SET 

pub const KEY_NAV4_RADIO_SET: u32 = 67263;