let
xk_F19 = 0xFFD0