add tracer.c example
I prefer the force_static approach
clarify how shared-pass-state works