pub const XK_trademarkincircle: u32 = 2763; // 2_763u32