let
xk_slash = 0x02f