pub const XK_Alt_R: u32 = 65514;