pub const Arabic_sukun: u32 = 0x5f2; // 1_522u32