let
xk_F9 = 0xFFC6