let
xk_Udoubleacute = 0x1db