pub const XF86XK_Switch_VT_12: c_uint = 0x1008FE0C;