let xk_udoubleacute        = 0x1fb