let
xk_Arabic_sukun = 0x5f2