let
xk_F17 = 0xFFCE