pub const XK_prolongedsound: u32 = 1200;