let
xk_dead_doubleacute = 0xFE59