let
xk_F10 = 0xFFC7