pub const XK_prolongedsound: u32 = 0x4b0; // 1_200u32