let
xk_multiply = 0x0d7