let xk_Greek_psi                                   = 0x7f8