let
xk_asciitilde = 0x07e