let
xk_F3 = 0xFFC0