let
xk_Greek_theta = 0x7e8