pub const XK_upleftcorner: u32 = 0x9ec; // 2_540u32