let xk_asciicircum         = 0x05e