pub const XK_Arabic_ra: u32 = 0x5d1; // 1_489u32