let
xk_asciicircum = 0x05e