let xk_Greek_beta                                  = 0x7e2