let xk_backslash           = 0x05c