let
xk_F2 = 0xFFBF