let
xk_F33 = 0xFFDE