let
xk_doubledagger = 0xaf2