pub const XK_Greek_tau: c_uint = 0x7f4;