pub const XK_opentribulletdown: c_uint = 0xae4;