let xk_s                   = 0x073