let
xk_F35 = 0xFFE0