let
xk_t = 0x074