let
xk_backslash = 0x05c