let
xk_U = 0x055