working on the execution trace