let
xk_2 = 0x032