state tracing