let
xk_R1 = 0xFFD2