pub const XK_topintegral: c_uint = 0x8a4;