pub const Arabic_kaf: u32 = 0x5e3; // 1_507u32