let
xk_R10 = 0xFFDB