pub const Arabic_kasratan: u32 = 0x5ed; // 1_517u32