let
xk_D = 0x044