let xk_dagger                                      = 0xaf1