let
xk_L7 = 0xFFCE