let
xk_6 = 0x036