let
xk_F21 = 0xFFD2