let
xk_R7 = 0xFFD8