let
xk_vertbar = 0x9f8