let xk_doubledagger                                = 0xaf2