pub const XK_topt: c_uint = 0x9f7;