let xk_overline                                       = 0x47e