let xk_Greek_lambda                                = 0x7eb