let
xk_dagger = 0xaf1