let xk_lefttack                                    = 0xbdc