let
xk_F7 = 0xFFC4