pub const XK_dead_tilde: c_uint = 0xfe53;