let
xk_partialderivative = 0x8ef