let xk_U                   = 0x055