let
xk_R14 = 0xFFDF