let
xk_F25 = 0xFFD6