pub const XK_Arabic_heh: u32 = 0x5e7; // 1_511u32