let
xk_L3 = 0xFFCA