let
xk_doubleacute = 0x1bd