pub const XKB_KEY_prolongedsound: u32 = 1200;