pub const XK_threequarters: c_uint = 0x0be;