let
xk_d = 0x064