let xk_Greek_theta                                 = 0x7e8