let
xk_F22 = 0xFFD3