let
xk_R3 = 0xFFD4