let xk_THORN               = 0x0de