let
xk_7 = 0x037