let
xk_9 = 0x039