let
xk_oslash = 0x0f8