let
xk_Thorn = 0x0de