let
xk_g = 0x067