133c133
< uint64_t Rb = tc->readIntReg(_srcRegIdx[0]);
---
> uint64_t Rb = tc->readIntReg(_srcRegIdx[0].regIdx);