Constant Arabic_seen 

pub const Arabic_seen: Key;