let
xk_G = 0x047