let
xk_R6 = 0xFFD7