let xk_t                   = 0x074