let
xk_overline = 0x47e