let xk_Arabic_seen                                 = 0x5d3