708a709,712
> #if TRACING_ON
> inst->decodeTick = curTick();
> #endif
>