pub const XK_Arabic_tah: u32 = 0x5d7; // 1_495u32