let
xk_k = 0x06b