let
xk_F34 = 0xFFDF