let
xk_F6 = 0xFFC3