let xk_q                   = 0x071