let
xk_F12 = 0xFFC9