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