pub const XK_Arabic_alef: u32 = 0x5c7; // 1_479u32