let
xk_L4 = 0xFFCB