let
xk_R5 = 0xFFD6