let xk_downtack                                    = 0xbc2