let
xk_L1 = 0xFFC8