let
xk_Greek_psi = 0x7f8