let
xk_L8 = 0xFFCF