let xk_righttack                                   = 0xbfc