let
xk_L9 = 0xFFD0