pub const XKB_KEY_3270_Play: u32 = 0xfd16;