1200d1199
< int tid = inst->threadNumber;
1204c1203,1204
< "skidBuffer.\n", inst->readPC(), inst->seqNum, tid);
---
> "skidBuffer.\n", inst->readPC(), inst->seqNum,
> inst->threadNumber);
1209c1209
< inst->readPC(), inst->seqNum, tid);
---
> inst->readPC(), inst->seqNum, inst->threadNumber);