let
xk_F16 = 0xFFCD