let xk_g                   = 0x067