let
xk_L5 = 0xFFCC