let
xk_Greek_xi = 0x7ee