pub const XK_Control_R: u32 = 65508;