let
xk_F1 = 0xFFBE