Interfaces for TraceCompiler plug-ins