let xk_Greek_alpha                                 = 0x7e1