pub const XKB_KEY_semivoicedsound: u32 = 0x04df;