let
xk_F26 = 0xFFD7