let
xk_Ubreve = 0x2dd