let xk_Greek_xi                                    = 0x7ee