let xk_k                   = 0x06b