let
xk_L6 = 0xFFCD