pub const Arabic_switch: u32 = 0xff7e; // 65_406u32