let
xk_Utilde = 0x3dd