pub const XK_Greek_TAU: c_uint = 0x7d4;