let
xk_F15 = 0xFFCC