let
xk_R9 = 0xFFDA