let
xk_L2 = 0xFFC9