let
xk_Yacute = 0x0dd