let        xk_dead_doubleacute                                = 0xFE59