let
xk_Arabic_seen = 0x5d3