let xk_upshoe                                      = 0xbc3