let
xk_F13 = 0xFFCA