module StaticTracing::Tracer