github.com/eth-easl/loader@v0.0.0-20230908084258-8a37e1d94279/tools (about) bin driver plotter trace_synthesizer