let xk_minus               = 0x02d