pub const XK_asciitilde: c_uint = 0x07e;