let
xk_udoubleacute = 0x1fb