first pass working trace execution