let
xk_Arabic_tah = 0x5d7