let xk_asciitilde          = 0x07e