let
xk_i = 0x069