let xk_Utilde              = 0x3dd