let
xk_j = 0x06a