let
xk_utilde = 0x3fd