let
xk_n = 0x06e