let xk_downshoe                                    = 0xbd6