let
xk_F23 = 0xFFD4