let
xk_THORN = 0x0de