let
xk_F24 = 0xFFD5