let xk_r                   = 0x072