main arguments
Merge branch 'trace-analysis'