let xk_j                   = 0x06a