42c42
< # rundiff 'm5a --trace:flags=InstExec |' 'm5b --trace:flags=InstExec |'
---
> # rundiff 'm5a --traceflags=InstExec |' 'm5b --traceflags=InstExec |'