+ uint64_t readMicroPC() { return actualTC->readMicroPC(); }
+
+ void setMicroPC(uint64_t val) { actualTC->setMicroPC(val); }
+
+ uint64_t readNextMicroPC() { return actualTC->readMicroPC(); }
+
+ void setNextMicroPC(uint64_t val) { actualTC->setNextMicroPC(val); }
+
+ bool readPredicate() { return actualTC->readPredicate(); }
+
+ void setPredicate(bool val)
+ { actualTC->setPredicate(val); }
+