let xk_p                   = 0x070