let
xk_Greek_beta = 0x7e2