pub const XK_prolongedsound: u32 = 1200; // 1_200u32