79c79
< xc->readPC(), machInst, OPCODE, inst2string(machInst));
---
> xc->pcState().pc(), machInst, OPCODE, inst2string(machInst));