let xk_G                   = 0x047