let
xk_F20 = 0xFFD1