let
xk_8 = 0x038