pub const XK_F33: c_uint = 0xFFDE;