let
xk_3 = 0x033